sdiehl / typechecker-zooLinks
A menagerie of cute implementations of modern typechecking algorithms
☆340Updated last week
Alternatives and similar repositories for typechecker-zoo
Users that are interested in typechecker-zoo are comparing it to the libraries listed below
Sorting:
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆151Updated 4 months ago
- A language with dependent data and codata types☆124Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆209Updated this week
- Pure functional programming with whole-program mutability inference☆78Updated 3 months ago
- Counterexamples in Type Systems☆404Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆225Updated last year
- Learn Lean 4 with PLFA proofs.☆94Updated 7 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆228Updated last year
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆492Updated this week
- A garden of small programming language implementations 🪴☆291Updated this week
- Interface with the rustc compiler for the purpose of program verification☆208Updated this week
- Logic programming in Rust☆517Updated 2 weeks ago
- Alternative algorithm for algebraic subtyping.☆170Updated last month
- Datalog with equality for rust☆71Updated 2 weeks ago
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 11 months ago
- ☆119Updated last year
- a proof-of-concept programming language based on call-by-push-value☆57Updated this week
- OCaml - Oxidized!☆553Updated this week
- Wasm SpecTec specification tools☆79Updated this week
- A verification toolchain for Rust programs☆439Updated this week
- A modern supercompiler for call-by-value functional languages☆455Updated 2 weeks ago
- an experimental new programming language based on interaction nets☆312Updated this week
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆60Updated 4 months ago
- Staged compilation with dependent types☆183Updated 6 months ago
- A language server for Standard ML in Rust.☆230Updated last month
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆63Updated 2 years ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆41Updated this week
- Refinement Types for Rust☆793Updated this week
- ☆53Updated 3 weeks ago
- A Lean library for Computer Science☆161Updated this week