Alternatives and similar repositories for cs75-s16-lectures

Users that are interested in cs75-s16-lectures are comparing it to the libraries listed below

• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆50Updated 2 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• VictorNicollet / 99-Problems-OCaml
  Solving "99 List Problems" using Objective Caml
  ☆84Updated 6 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆73Updated 9 months ago
• samsonjs / compiler
  an x86 compiler written in ruby
  ☆31Updated 5 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 7 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 2 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• sanjoy / echoes
  ☆21Updated 8 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 10 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 6 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 8 years ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆28Updated 11 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 7 years ago
• mflatt / gc-demo
  ☆86Updated 4 years ago
• petermichaux / royal-scheme
  Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.
  ☆76Updated 12 years ago
• kmicinski / cmsc330examples
  Examples from the class CMSC 330 during Summer 2015
  ☆48Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago