lazear / types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
☆188Updated 4 years ago
Related projects: ⓘ
- ☆41Updated last month
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆113Updated 3 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆139Updated 3 years ago
- Session Type EDSL for Rust☆97Updated 2 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆109Updated last month
- A pure functional language for type-level programming in Rust☆320Updated last year
- A compiler for Standard ML, somewhat☆199Updated 2 years ago
- The essence of Rust.☆124Updated 2 years ago
- Rust Code Reading Clubs☆142Updated 2 years ago
- A new register allocator☆209Updated last week
- logic programming in Rust☆387Updated 2 months ago
- a model of MIR and the Rust type/trait system☆282Updated last month
- Verifying concurrent crash-safe systems☆143Updated this week
- ☆146Updated 4 years ago
- Programming Languages Intermediate Representation☆83Updated last week
- A super-simple compiler demoing how to talk to LLVM from Rust☆92Updated 8 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆206Updated 7 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- A gradually typed language originally based on the crafting interpreters series☆64Updated this week
- Define compiler intermediate representation usable by external tools☆57Updated 2 months ago
- Implementation in Rust of lox, the language described in Crafting Interpreters☆61Updated 3 years ago
- Learn assembly with entirely too many brainfuck compilers☆57Updated 3 years ago
- Web page for IU Compiler Course for Fall 2020☆131Updated 3 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆95Updated 3 years ago
- Rust implementation of the Lox programming language☆139Updated 2 years ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆291Updated this week
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆72Updated last year
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆73Updated this week
- lens implemented in rust☆109Updated last year
- A simple ML-like programming language with subtyping and full type inference.☆159Updated 3 months ago