stanford-cs242 / f18-assignmentsLinks
☆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
Sorting:
- A collection of programming languages and type systems.☆33Updated 2 months ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- ☆90Updated 3 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆144Updated last month
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- The essence of Rust.☆125Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- LVC verified compiler☆57Updated 6 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85Updated last year
- Pure functional programming with whole-program mutability inference☆72Updated this week
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆112Updated 6 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆169Updated 4 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- An incremental approach to compiler construction☆84Updated 5 years ago
- My personal repository of formally verified mathematics.☆302Updated this week
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 6 months ago
- Study of language design and implementation.☆67Updated 4 years ago
- Alternative algorithm for algebraic subtyping.☆166Updated 3 weeks ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆81Updated last week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23Updated 7 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆97Updated 4 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- The WIP book for CPSC 411☆65Updated last week