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
- Synless is a language-agnostic tree editor.☆22Updated 7 months ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Updated 11 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- ADTs for Ruby☆24Updated 12 years ago
- A compiler for a simple language using llvm☆36Updated 2 years ago
- ☆35Updated 6 years ago
- The Ur/Web People Organizer☆30Updated last year
- Generation of abstract binding trees☆27Updated last month
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- ☆55Updated 8 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- microkanren in sml☆26Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 9 months ago
- A clean implementation of Parsing with Zippers.☆38Updated 7 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- a language workbench for parsing and transforming curly-brace languages☆43Updated 9 years ago
- The language of the future!☆72Updated last year
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- ☆29Updated 10 years ago
- The Kleenex programming language☆56Updated last year
- Decision procedures for Presburger arithmetic in Haskell☆30Updated 7 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year