plaidgroup / plaid-lang
The Plaid Programming Language Tools
☆11Updated 9 years ago
Related projects: ⓘ
- ☆18Updated this week
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆30Updated 10 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- ☆34Updated 5 years ago
- Modernized Sisal Interpreter☆27Updated 5 years ago
- Standard library for the Formality language☆18Updated 4 years ago
- Lollimon, a monadic concurrent linear logic programming language☆26Updated 12 years ago
- The Alms Programming Language☆43Updated 6 years ago
- The Ur/Web People Organizer☆29Updated 4 months ago
- Superposition prover☆15Updated last year
- ☆16Updated 6 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- SPSC: A Small Positive Supercompiler☆33Updated 4 months ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- ☆18Updated last year
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- ☆10Updated last month
- A Rust implementation of the Lean kernel☆11Updated last year
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- ☆36Updated 6 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- An extended typed Lambda Calculus☆20Updated last month
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆28Updated 2 years ago
- Kanren with databases☆43Updated last month
- A general purpose relational language☆21Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- Scheme Interpreter in Rust☆25Updated 6 years ago
- An experimental language server for SomewhatML☆23Updated last year