EarlGray/SECD external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

EarlGray/SECD

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/EarlGray/SECD)

Close

EarlGray / SECDView on GitHubMore

• External links
• Readme badge

Scheme on SECD

☆43Feb 9, 2021Updated 5 years ago

Alternatives and similar repositories for SECD

Users that are interested in SECD are comparing it to the libraries listed below

• carlohamalainen / pysecd

  View on GitHub
  Python interpreter for Peter Landin's SECD abstract machine.
  ☆42Apr 12, 2013Updated 12 years ago
• bwkimmel / secd

  View on GitHub
  SECD Machine Implementation in x86 Assembly
  ☆24Jun 14, 2014Updated 11 years ago
• hanshuebner / secd

  View on GitHub
  SECD microprocessor reimplementation in VHDL
  ☆36Nov 13, 2019Updated 6 years ago
• sharplispers / pseudoscheme

  View on GitHub
  An implementation of Scheme embedded in Common Lisp
  ☆25Dec 2, 2011Updated 14 years ago
• zachallaun / secd

  View on GitHub
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆126Mar 23, 2013Updated 12 years ago
• carld / lispkit

  View on GitHub
  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
  ☆53Feb 17, 2024Updated 2 years ago
• guenchi / ChezJS

  View on GitHub
  Compile JavaScript to Native Code
  ☆29Mar 29, 2020Updated 5 years ago
• andrejbauer / miniLCF

  View on GitHub
  A bare-bones LCF-style proof assistant
  ☆25Aug 13, 2019Updated 6 years ago
• EarlGray / omit

  View on GitHub
  A self-hosting subset of git functionality in 500 lines
  ☆13Aug 27, 2018Updated 7 years ago
• JLimperg / cats

  View on GitHub
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆22Mar 17, 2020Updated 5 years ago
• thautwarm / simple-pl-example

  View on GitHub
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16May 18, 2021Updated 4 years ago
• jonsterling / tt

  View on GitHub
  secret project
  ☆17Mar 14, 2018Updated 7 years ago
• thautwarm / LLAST

  View on GitHub
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Sep 9, 2018Updated 7 years ago
• kragen / urscheme

  View on GitHub
  ☆22Apr 1, 2013Updated 12 years ago
• justinethier / cyclone-bootstrap

  View on GitHub
  Install Cyclone Scheme on your machine.
  ☆37Sep 17, 2025Updated 5 months ago
• EarlGray / COSEC

  View on GitHub
  the Coolest OS Ever Created
  ☆23Mar 8, 2024Updated last year
• vseloved / cl-parsec

  View on GitHub
  Parser combinators in Common Lisp
  ☆23Mar 24, 2010Updated 15 years ago
• fare / moll

  View on GitHub
  My Own Linear Lisp
  ☆42Aug 24, 2018Updated 7 years ago
• kstephens / tort

  View on GitHub
  Tiny Object Run Time
  ☆24May 24, 2015Updated 10 years ago
• excavador / erlang-mnesia-video.ru

  View on GitHub
  ☆20Dec 23, 2021Updated 4 years ago
• pokepay / paras

  View on GitHub
  Embedded trivial Lisp-dialect.
  ☆22Nov 29, 2022Updated 3 years ago
• carld / compiler-tutorial

  View on GitHub
  Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX
  ☆63May 6, 2017Updated 8 years ago
• imrehg / ypsilon

  View on GitHub
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Apr 7, 2022Updated 3 years ago
• Neronus / CL-CUDD

  View on GitHub
  Common lisp bindings to CUDD.
  ☆13Jan 3, 2018Updated 8 years ago
• MichaelSuen-thePointer / mqLinq

  View on GitHub
  yet another linq implementation in C++
  ☆10Jul 22, 2016Updated 9 years ago
• darius / elv

  View on GitHub
  A very basic Lisp + Erlang-style processes, on a virtual machine
  ☆10Aug 24, 2016Updated 9 years ago
• ktakashi / scheme-env

  View on GitHub
  Scheme environment switcher (like pyenv).
  ☆18Oct 27, 2025Updated 4 months ago
• 8l / ff

  View on GitHub
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆41Nov 19, 2015Updated 10 years ago
• yarbroughw / secdpy

  View on GitHub
  SECD machine and Lispkit Lisp compiler, in Python
  ☆14Oct 25, 2017Updated 8 years ago
• z5h / zb-lisp

  View on GitHub
  A Scheme-like, lispy language, implemented in JavaScript.
  ☆23Mar 14, 2010Updated 15 years ago
• 8l / pilos

  View on GitHub
  PilOS - A Stand-Alone Operating System
  ☆14Aug 1, 2017Updated 8 years ago
• eevolang / eevo

  View on GitHub
  simple yet expressive high-level scripting language (formerly known as tisp) [MIRROR]
  ☆27Feb 21, 2026Updated last week
• gatlin / psilo

  View on GitHub
  a parallel, safe, iterative list operation language for systems programming
  ☆16Jul 9, 2020Updated 5 years ago
• hawkw / seax_svm

  View on GitHub
  Seax Virtual Machine
  ☆11Feb 13, 2017Updated 9 years ago
• dbym4820 / cl-ignition

  View on GitHub
  Common Lisp SPARQL query generation library
  ☆12Aug 3, 2019Updated 6 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• burz / cfl

  View on GitHub
  a Compileable statically typed Functional programming Language
  ☆11Jun 11, 2015Updated 10 years ago
• simlrh / jekyll-github-comments

  View on GitHub
  A Jekyll plugin to provide static site comments via GitHub pull requests.
  ☆12Nov 23, 2016Updated 9 years ago
• OpenProgger / LISP

  View on GitHub
  Minimal LISP Compiler for x86_64
  ☆15Feb 22, 2022Updated 4 years ago