plaidgroup / plaid-langLinks
The Plaid Programming Language Tools
☆12Updated 10 years ago
Alternatives and similar repositories for plaid-lang
Users that are interested in plaid-lang are comparing it to the libraries listed below
Sorting:
- ☆16Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- ☆35Updated 5 years ago
- Tool for compiling Lean to WASM☆19Updated last year
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Interpreter of the ITGL with dynamic type inference☆22Updated 3 months ago
- The Spire Programming Language☆59Updated 10 years ago
- A compiler for a simple language using llvm☆35Updated 2 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆46Updated last year
- Jane Street Capital's standard library overlay☆36Updated 3 weeks ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- The MLtonLibrary repository☆36Updated 2 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago