zachallaun / secd
A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
☆119Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for secd
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆210Updated last year
- A tiny self-hosting Lisp-to-C compiler☆236Updated 4 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆352Updated 3 years ago
- A small compiler for PCF☆124Updated 4 years ago
- Kenichi Asai's reflective programming language Black☆195Updated 2 years ago
- Library and Toolkit for Standard ML☆144Updated last year
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- APL Compiler targeting a typed array intermediate language☆212Updated 2 months ago
- A neatly typeset version of John McCarthy's classic paper☆120Updated 11 months ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆103Updated 6 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated last year
- The Om programming language.☆168Updated last month
- An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.☆142Updated 4 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- nanopass compiler framework for Racket☆181Updated 10 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆102Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Mal (Make A Lisp) compiler☆121Updated 8 months ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆379Updated 4 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆60Updated 3 years ago
- MIT Scheme environment for the browser☆59Updated 7 years ago
- A small implementation of type inference☆78Updated 9 years ago
- General Parser Combinators in Racket☆195Updated 8 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- Small utilities and vocabularies implemented in the Factor programming language.☆127Updated this week
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆321Updated 3 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- A Haskell implementation of the Shen programming language.☆162Updated 6 years ago