compilers-course-materials / cs75-s16-lectures

Related projects: ⓘ

• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆48Updated last year
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 6 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆26Updated 4 years ago
• kmicinski / cmsc330examples
  Examples from the class CMSC 330 during Summer 2015
  ☆48Updated 9 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 12 years ago
• samsonjs / compiler
  an x86 compiler written in ruby
  ☆31Updated 4 years ago
• mflatt / gc-demo
  ☆84Updated 3 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆30Updated 12 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated 8 months ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 11 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆122Updated 9 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 11 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆23Updated 4 months ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆68Updated 10 years ago
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• hayato-hashimoto / jit-scheme
  JIT compiler of scheme
  ☆15Updated 13 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆31Updated 6 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated last year
• kentdlee / MLComp
  A Compiler and Type Inference System for a subset of Standard ML called Small.
  ☆13Updated 7 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆23Updated last year
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• jeapostrophe / c
  #lang for writing C code
  ☆15Updated 7 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 7 years ago
• cmsc430 / www
  CMSC 430 Design and Implementation of Programming Languages
  ☆45Updated last week
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 8 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆69Updated 2 years ago