A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
☆126Mar 23, 2013Updated 12 years ago
Alternatives and similar repositories for secd
Users that are interested in secd are comparing it to the libraries listed below
Sorting:
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- SECD Machine Implementation in x86 Assembly☆24Jun 14, 2014Updated 11 years ago
- Scheme on SECD☆43Feb 9, 2021Updated 5 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Apr 12, 2013Updated 12 years ago
- SECD microprocessor reimplementation in VHDL☆36Nov 13, 2019Updated 6 years ago
- FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7☆53Feb 17, 2024Updated 2 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- Seax Virtual Machine☆11Feb 13, 2017Updated 9 years ago
- My notes from reading this amazing book by Peter M. Kogge.☆25Apr 14, 2014Updated 11 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- A simple implementation of XTT, "A cubical language for Bishop sets"☆27Apr 22, 2022Updated 3 years ago
- vm and compiler for a small lisp☆12Aug 28, 2021Updated 4 years ago
- Archive of Little Smalltalk (with updates to work on modern platforms). Also collects forks and documentation on this historic system.☆149Jan 13, 2023Updated 3 years ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- ☆15May 1, 2021Updated 4 years ago
- Little Smalltalk fork☆62Jul 12, 2025Updated 7 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 17, 2020Updated 5 years ago
- An interpreter for a small dialect of Forth written in Go.☆19Apr 7, 2019Updated 6 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- SOM - Simple Object Machine☆24Aug 31, 2025Updated 6 months ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 7 years ago
- The implementation of microKanren, a featherweight relational programming language☆317Jun 12, 2014Updated 11 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 3 months ago
- A 3d engine for Scheme☆38Dec 14, 2010Updated 15 years ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- A library for working with RDF with Jena in Clojure (http://clojars.org/seabass)☆29Jul 23, 2016Updated 9 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- The goal is to compile a reasonably complete list of all implementations of the Smalltalk system☆27Feb 9, 2026Updated 3 weeks ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 3 years ago
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- Graded Dependent Type systems☆25Jun 28, 2023Updated 2 years ago
- A cost-aware logical framework, embedded in Agda.☆77Feb 23, 2026Updated last week
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆548Dec 18, 2025Updated 2 months ago