jcoglan / inferLinks
Interpreter for inference rules
☆13Updated 7 years ago
Alternatives and similar repositories for infer
Users that are interested in infer are comparing it to the libraries listed below
Sorting:
- Abstract binding tree code generator☆37Updated 9 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Generation of abstract binding trees☆27Updated 4 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆36Updated 12 years ago
- A compiler for a simple language using llvm☆37Updated 2 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Updated 11 years ago
- Crux Programming Language☆53Updated 5 months ago
- Examples from the class CMSC 330 during Summer 2015☆49Updated 10 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- ☆29Updated 10 years ago
- ☆35Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 8 years ago
- a language workbench for parsing and transforming curly-brace languages☆43Updated 9 years ago
- A dependently typed programming language, and verification tool☆27Updated 9 years ago
- Fungi: Typed incremental computation with names☆71Updated 6 years ago
- Proposed documentation for alloytools.org☆71Updated 5 months ago
- microkanren in sml☆27Updated 10 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- A type checker for the Lean theorem prover☆40Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- ☆47Updated 8 years ago
- The Ur/Web People Organizer☆30Updated last year
- SC Mini is a "minimal" positive supercompiler☆48Updated 5 years ago