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:
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A compiler for a simple language using llvm☆35Updated 2 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- Regular Expression Matching in Haskell☆36Updated 7 years ago
- Small Scheme interpreter and compiler☆14Updated 9 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆44Updated 2 months ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 5 years ago
- Supporting tool for Gradual Typing☆16Updated 5 years ago
- Higher-order FRP compiler☆15Updated 3 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- PLT Redex models of LVar calculi☆10Updated 10 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- ☆23Updated 7 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 6 months ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆46Updated last year
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Updated 2 weeks ago
- CLI-driven TLA+ project template☆43Updated 6 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago