ben-lerner / sicp-optimizerLinks
An optimizer for the SICP scheme → register machine compiler.
☆13Updated 5 years ago
Alternatives and similar repositories for sicp-optimizer
Users that are interested in sicp-optimizer are comparing it to the libraries listed below
Sorting:
- An R5RS Scheme in JavaScript.☆17Updated 2 months ago
- A self-hosting Scheme to JavaScript compiler☆33Updated 16 years ago
- ☆169Updated 7 years ago
- An implementation of Dijkstra in Clojure☆19Updated 13 years ago
- KDB bindings for lua☆27Updated 6 years ago
- Compile-time metaprogramming for OCaml☆75Updated last year
- A native compiler for Scheme compliant with R6RS☆199Updated 8 years ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆128Updated 13 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X☆18Updated 3 months ago
- Go! Lisp in OCaml☆75Updated 13 years ago
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆58Updated 12 years ago
- ☆44Updated 9 years ago
- HTTP middleware for Scheme/Gambit/Black Hole, inspired by Ruby's Rack. Includes a HTTP client.☆18Updated 13 years ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆107Updated 7 years ago
- All code examples from "The Little Prover" book☆23Updated 10 years ago
- Low-level Lisp for LLVM☆502Updated 9 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆126Updated 12 years ago
- Spheres - A set of tools and libraries for practical Scheme. Multiplatform and Mobile.☆70Updated 4 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆324Updated 4 years ago
- 99 Problems in OCaml☆22Updated 9 years ago
- Racket support for Amazon Web Services.☆80Updated 8 months ago
- Meld compiler written in Common Lisp☆13Updated 10 years ago
- Strongtalk VM☆103Updated 4 years ago
- web server derived from Fermion (circa 2011)☆20Updated 9 years ago
- Asynchronous event loop for chez scheme with await semantics☆39Updated 3 years ago
- ☆33Updated 11 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- GNU Guile☆86Updated 9 years ago