zachallaun / secd
A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
☆120Updated 11 years ago
Alternatives and similar repositories for secd:
Users that are interested in secd are comparing it to the libraries listed below
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆210Updated 2 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- The Om programming language.☆172Updated 4 months ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆107Updated 6 years ago
- MLton with Realtime GC and Threading features☆103Updated 11 months ago
- A neatly typeset version of John McCarthy's classic paper☆122Updated last month
- OCaml implementation of the K 2.0 array programming language☆80Updated 9 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆353Updated 3 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- nanopass compiler framework for Racket☆187Updated last year
- A tiny self-hosting Lisp-to-C compiler☆237Updated 4 years ago
- APL Compiler targeting a typed array intermediate language☆211Updated 6 months ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated 2 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- Relational interpreter in miniKanren that can generate quines☆131Updated 10 years ago
- ☆85Updated 4 years ago
- An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.☆144Updated 4 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated last year
- ☆136Updated 2 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆109Updated 2 years ago
- MIT Scheme environment for the browser☆59Updated 7 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆61Updated 3 years ago
- A small compiler for PCF☆123Updated 4 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago