ucsd-cse131-sp17 / lectures

Related projects: ⓘ

• gasche / popl2014-papers
  ☆73Updated 10 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆41Updated 8 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 6 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 5 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆27Updated 9 years ago
• hawkw / mnemosyne
  A functional systems programming language with compile-time memory management
  ☆30Updated 2 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated 9 months ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 4 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆83Updated 4 months ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆33Updated 5 years ago
• hayato-hashimoto / jit-scheme
  JIT compiler of scheme
  ☆15Updated 13 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• jonas-schievink / lea
  ☆25Updated this week
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 11 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆57Updated 9 years ago
• robbertkrebbers / ch2o
  ☆87Updated 2 years ago
• keean / elements_in_rust
  Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
  ☆22Updated 8 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆67Updated 8 years ago
• stanford-cs242 / f18-assignments
  ☆22Updated 5 years ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆25Updated 6 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 11 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆68Updated 7 years ago
• kentdlee / MLComp
  A Compiler and Type Inference System for a subset of Standard ML called Small.
  ☆13Updated 7 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆26Updated 5 years ago
• protz / mezzo
  The language of the future!
  ☆71Updated 8 months ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆38Updated 6 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 6 years ago