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 Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Updated 11 years ago
- Proposed documentation for alloytools.org☆71Updated 4 months ago
- a language workbench for parsing and transforming curly-brace languages☆43Updated 9 years ago
- Synless is a language-agnostic tree editor.☆23Updated 2 weeks ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- The Kleenex programming language☆56Updated last year
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- microkanren in sml☆27Updated 10 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- Generation of abstract binding trees☆27Updated 3 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- ☆29Updated 10 years ago
- Crux Programming Language☆53Updated 4 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 6 years ago
- Relational Algebra at your fingertips☆62Updated 11 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 11 months ago
- Beating the CAP theorem with the epidemic register☆17Updated 5 years ago
- Modeling DNS with Alloy☆37Updated 4 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- CLI-driven TLA+ project template☆43Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- A simple Prolog interpreter☆42Updated 3 years ago
- A dependently typed programming language, and verification tool☆27Updated 9 years ago
- Fungi: Typed incremental computation with names☆71Updated 6 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