stanford-cs242 / f18-assignmentsLinks
☆25Updated 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 3 months ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85Updated last year
- ☆90Updated 3 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
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆144Updated 2 months ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- The essence of Rust.☆127Updated 3 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Web page for IU Compiler Course for Fall 2020☆133Updated 4 years ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆210Updated 5 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Session Type EDSL for Rust☆104Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 years ago
- A CSS specification and reasoning engine☆96Updated 2 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆97Updated 4 years ago
- My personal repository of formally verified mathematics.☆303Updated last week
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆83Updated last month
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆114Updated 6 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆129Updated 2 months ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A graphical interactive proof assistant designed for education☆167Updated 8 months ago