a-yiorgos / wambook

Related projects ⓘ

Alternatives and complementary repositories for wambook

• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆179Updated 6 years ago
• fare / moll
  My Own Linear Lisp
  ☆37Updated 6 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆27Updated 7 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆58Updated 15 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆42Updated 3 years ago
• carld / lispkit
  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
  ☆51Updated 9 months ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 2 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• mflatt / gc-demo
  ☆85Updated 3 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• lwhjp / racket-asm
  ☆18Updated 3 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆30Updated 12 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆46Updated 7 years ago
• eatonphil / bsdscheme
  A Scheme (R7RS) implementation written in D
  ☆59Updated 6 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 6 months ago
• swdunlop / WaspVM
  The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
  ☆103Updated 6 years ago
• schemeway / lalr-scm
  An Efficient LALR(1) Parser Generator for Scheme
  ☆50Updated 3 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 2 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 8 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆210Updated last year
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆60Updated 3 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆17Updated 11 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆100Updated 3 years ago
• rongarret / Ciel
  A Lisp-like language implemented in C++
  ☆74Updated last year