Projects in Awesome Lists tagged with secd
A curated list of projects in awesome lists tagged with secd .
https://github.com/hawkw/seax
A VM-based runtime environment for functional programming languages
interpreter lisp lisp-interpreter rust secd virtual-machine
Last synced: 16 Mar 2025
https://github.com/hawkw/seax_svm
Seax Virtual Machine
lisp-interpreter rust secd virtual-machine
Last synced: 17 Mar 2025
https://github.com/rishit7/toy-lang
A Simple Toy language made in Prolog and OCaml
krivine-machine ocaml prolog secd toy-language
Last synced: 18 Sep 2025
https://github.com/thma/secd
Java Implementation of SECD Machine + Lispkit Lisp Compiler
Last synced: 04 Apr 2025
https://github.com/ilyasergey/typechecker-transformations
An implementation of the mechanical correspondence between algorithms for type checking
abstract-machine cesk ml reduction secd type-checking
Last synced: 13 Feb 2026
