stanford-cs242 / f18-assignmentsLinks
☆26Updated 6 years ago
Alternatives and similar repositories for f18-assignments
Users that are interested in f18-assignments are comparing it to the libraries listed below
Sorting:
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆210Updated 5 years ago
- The essence of Rust.☆127Updated 3 years ago
- A collection of programming languages and type systems.☆33Updated 3 months ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆145Updated 3 months ago
- ☆90Updated 3 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆129Updated 3 months ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Pure functional programming with whole-program mutability inference☆74Updated last month
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- An incremental approach to compiler construction☆84Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Updated 4 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85Updated last year
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- Alternative algorithm for algebraic subtyping.☆170Updated 3 weeks ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Learn TLA+ for free! No prior experience necessary!☆223Updated 5 months ago
- A Hindley-Milner polymorphic typing system☆59Updated last year
- Datalog with equality for rust☆69Updated this week
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆116Updated 6 years ago
- My personal repository of formally verified mathematics.☆305Updated this week
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Macros have types!☆131Updated 2 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 10 months ago