310 Open source projects that are alternatives of or similar to cicada

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

Resolution theorem proving for predicate logic in pure Python.

🧊 Модальний Гомотопічний Прувер

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A modern proof language

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Run c# code from the command line, like python or javascript

hstr, but for Python shells

Web IDE and REPL for the Ink programming language, written in pure Ink on a self-hosted compiler toolchain

Bit-Shift-Print Loop

OpenRepl REPL

A graphical REPL for mpv input commands

Interactive GCC - C/C++ REPL.

Univalent mathematics in Agda

A macro for defining type operators in Rust.

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

Beginners friendly Clojure REPL

A component for running Figwheel

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

A [ functional stack ] based language.

A Lisp written in about 200 lines of Ink, featuring an interactive literate programming notebook

Formalization of Typed Assembly Language (TAL) in Coq

Neovim REPL for lua and vim script

Favorite article collections system

bitFlyer Lightning API Console

Homotopy Type Theory proofs in Idris

The command-line tool for NeDB

A fork of Jony Epsilon's rich REPL for Clojure in the notebook style.

A Sublime Text package for interactive Clojure development

Simple Java REPL for controlling mobile apps through Appium.

Slacker - Easy access to the Slack API and admin of workspaces/teams.

An SMT Solver for string constraints

🔎 Explore the IPLD directed acyclic graph with your keyboard

A ClojureScript REPL and tutorial in your browser!

A collection of PLT researching

d3 Force Directed Graph example (d3-force) implemented in sveltejs. REPL:

A PEG Parsing Tool

PsySH on Emacs, PHP interactive shell (REPL)

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

A categorical semantics library in Agda.

A strongly typed GraphQL API framework

A REPL for PHP built into Composer (using PsySH)

Go-Notebook is inspired by Jupyter Project (link) in order to document Golang code.

boltcli is the redis-cli for boltdb with Lua script support

REPL module for Moleculer framework

Minimal client for Tox

An interactive theorem prover based on lambda-tree syntax

A GraphQL Server made for the workshop

Book: Gentle Introduction to Dependent Types with Idris

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

A JavaScript client that speaks Replit's container protocol

A REPL where music is simply streams of input in node (using soundfonts). Supports optional MIDI input and Rx.

Reading schedule and our library of pdfs

The Fundot programming language.

Using s7 scheme alongside Dear ImGui to (interactively) build (cross platform) GUI apps.

Readline-esque library with fancy features

A Domain Representation Language

Provides a REPL console-like interface to interact with Elasticsearch