mvitousek / reticulatedLinks
Types for Python
☆87Updated 7 years ago
Alternatives and similar repositories for reticulated
Users that are interested in reticulated are comparing it to the libraries listed below
Sorting:
- ☆59Updated 11 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- ☆98Updated 2 weeks ago
- Beautiful, interactive visualizations of logical inference☆150Updated 4 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 5 months ago
- Collapsing Towers of Interpreters☆92Updated 5 months ago
- Logic for story telling!☆35Updated 7 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Supporting tool for Gradual Typing☆16Updated 5 years ago
- Python backend for Idris (generates Python source, not bytecode).☆125Updated 8 years ago
- source code for the bondi programming language☆42Updated 6 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- An Open Encyclopedia of Proof Systems☆119Updated 3 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- Reference type checker for the Lean theorem prover☆64Updated 8 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- Abstracting Definitional Interpreters☆73Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆49Updated 11 years ago
- Lean Tutorials☆46Updated 5 years ago
- Library for automatic unit testing of Standard ML modules☆71Updated 5 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Constructive Galois connections☆35Updated 7 years ago
- Python term rewriting☆30Updated 12 years ago