jcoglan / infer
Interpreter for inference rules
☆13Updated 6 years ago
Alternatives and similar repositories for infer:
Users that are interested in infer are comparing it to the libraries listed below
- A compiler for a simple language using llvm☆35Updated last year
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 5 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Updated 10 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- ☆35Updated 5 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Generation of abstract binding trees☆28Updated 6 months ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Higher-order FRP compiler☆14Updated 3 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- ☆23Updated 7 years ago
- An interactive beta reduction calculator for lambda calculus☆11Updated 6 years ago
- a language workbench for parsing and transforming curly-brace languages☆42Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Dependently-typed language w/ little to say for itself☆10Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 4 months ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Yes, really!☆11Updated 9 years ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 6 years ago
- cargo +nightly build☆34Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago
- The Ur/Web People Organizer☆30Updated 11 months ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- an example airship app☆14Updated 8 years ago