lazear / types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
☆194Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for types-and-programming-languages
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆116Updated 4 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆140Updated this week
- Programming Languages Intermediate Representation☆86Updated 3 weeks ago
- ☆52Updated this week
- Web page for IU Compiler Course for Fall 2020☆130Updated 3 years ago
- Public helper code for p423/p523 students (Racket)☆155Updated 2 weeks ago
- A pure functional language for type-level programming in Rust☆323Updated 2 years ago
- Rust Code Reading Clubs☆142Updated 3 years ago
- A compiler for Standard ML, somewhat☆201Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- Session Type EDSL for Rust☆101Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆213Updated 3 weeks ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 4 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆95Updated 4 years ago
- Implementation in Rust of lox, the language described in Crafting Interpreters☆63Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆92Updated 2 years ago
- ☆149Updated 5 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆114Updated 3 months ago
- a model of MIR and the Rust type/trait system☆285Updated last month
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆300Updated this week
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆110Updated 5 years ago
- Logic programming in Rust☆413Updated last week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆81Updated this week
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆24Updated 3 years ago
- Rust implementation of the Lox programming language☆142Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.☆164Updated 5 months ago
- P523 Code☆27Updated 9 years ago
- Interface with the rustc compiler for the purpose of program verification☆103Updated this week
- The essence of Rust.☆123Updated 2 years ago
- ☆223Updated 3 months ago