plaidgroup / plaid-lang
The Plaid Programming Language Tools
☆11Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for plaid-lang
- Distributed computing library☆35Updated 6 years ago
- ☆34Updated 5 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- ☆11Updated 2 weeks ago
- Delimited continuations in byte-code and native OCaml☆26Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- miniKanren in OCaml☆31Updated last year
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆45Updated last year
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- ☆18Updated last year
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- Standard library for the Formality language☆18Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- For hosting certain parts of http://www.ats-lang.org☆26Updated last year
- ☆36Updated 6 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- An experimental language server for SomewhatML☆24Updated last year
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated this week
- Yes, it is what you think it is☆33Updated 8 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- An extended typed Lambda Calculus☆20Updated 3 months ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Coq plugin for monomorphization and C code generation☆33Updated this week
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago