stanford-cs242 / f18-assignments

Related projects ⓘ

Alternatives and complementary repositories for f18-assignments

• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆83Updated 6 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• aatxe / oxide
  The essence of Rust.
  ☆123Updated 2 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆76Updated last year
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 2 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆130Updated 3 years ago
• wilbowma / pl-thesaurus
  ☆89Updated 3 years ago
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆95Updated 4 years ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 4 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆25Updated 5 months ago
• jbclements / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆24Updated 10 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated last month
• eqlog / eqlog
  Datalog with equality for rust
  ☆55Updated 3 weeks ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 years ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆201Updated 2 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆34Updated last year
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆24Updated 6 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆22Updated 2 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆101Updated 2 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆110Updated 5 years ago
• antoyo / tiger-rs
  Rust implementation of the projects from the book Modern Compiler Implementation in ML
  ☆140Updated last week
• jozefg / pcf
  A small compiler for PCF
  ☆124Updated 4 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆67Updated 6 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆92Updated 2 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆68Updated 7 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆33Updated 5 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆73Updated 4 years ago