sdiehl / typechecker-zooLinks
A menagerie of cute implementations of modern typechecking algorithms
β332Updated 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β¦β150Updated 4 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to haβ¦β209Updated 2 weeks ago
- A Language with Dependent Data and Codata Typesβ123Updated this week
- Pure functional programming with whole-program mutability inferenceβ77Updated 2 months ago
- Learn Lean 4 with PLFA proofs.β91Updated 6 months ago
- Counterexamples in Type Systemsβ402Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rustβ226Updated 11 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IRβ224Updated last year
- A garden of small programming language implementations πͺ΄β290Updated last week
- Wasm SpecTec specification toolsβ75Updated this week
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.β40Updated this week
- β119Updated last year
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β483Updated this week
- A verification toolchain for Rust programsβ411Updated this week
- Interface with the rustc compiler for the purpose of program verificationβ200Updated this week
- Alternative algorithm for algebraic subtyping.β170Updated 3 weeks ago
- a proof-of-concept programming language based on call-by-push-valueβ56Updated last month
- Programming Language Foundations in Leanβ43Updated 3 months ago
- A language server for Standard ML in Rust.β229Updated last month
- An example on how to write an incremental, concurrent, fault-tolerant compilerβ54Updated 3 months ago
- being an operating system for typechecking processesβ130Updated 2 weeks ago
- Staged compilation with dependent typesβ183Updated 5 months ago
- Logic programming in Rustβ509Updated 2 weeks ago
- β53Updated last week
- An experimental optimizing compiler for Brilβ78Updated this week
- Proofs in Coq for the book Reflective Programs in Tree Calculusβ180Updated 4 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured dβ¦β61Updated 2 years ago
- Fir programming languageβ81Updated this week
- A modern supercompiler for call-by-value functional languagesβ425Updated last month
- Interaction net resourcesβ34Updated this week