stanford-cs242 / f18-assignments
☆24Updated 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
- Datalog + Egg = Good☆66Updated last year
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆143Updated 3 months ago
- A collection of programming languages and type systems.☆33Updated 8 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆97Updated 2 years ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- ☆90Updated 3 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆84Updated 11 months ago
- The essence of Rust.☆123Updated 3 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Racket Equivalence Graph Library☆19Updated 2 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆50Updated last month
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆163Updated 3 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Verified hash-based AMQ structures in Coq☆122Updated 5 years ago
- Web page for IU Compiler Course for Fall 2020☆130Updated 4 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Updated 10 years ago
- A compiler for functional programs on serialized data☆161Updated 2 weeks ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆111Updated 6 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- Session Type EDSL for Rust☆102Updated 2 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆97Updated 4 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆125Updated 2 years ago