jcoglan / infer
Interpreter for inference rules
☆13Updated 6 years ago
Related projects: ⓘ
- ☆18Updated this week
- Abstract binding tree code generator☆36Updated 7 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- A compiler for a simple language using llvm☆35Updated last year
- Various implementations of microKanren☆19Updated 7 years ago
- Crux Programming Language☆51Updated 2 years ago
- Synless is a language-agnostic tree editor.☆20Updated 3 months ago
- ☆55Updated 7 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 8 years ago
- A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust☆16Updated 8 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- ☆23Updated 6 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- ☆16Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- cargo +nightly build☆34Updated 5 years ago
- A transducer library for Rust☆10Updated 8 years ago
- AST to WebAssembly☆11Updated 6 years ago
- An example Ruby implementation of μKanren.☆22Updated 5 years ago
- PLT Redex models of LVar calculi☆10Updated 9 years ago
- ☆34Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- Programming with LVars, by example☆35Updated 9 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Updated 9 years ago
- a language workbench for parsing and transforming curly-brace languages☆42Updated 8 years ago