A VM-based runtime environment for functional programming languages
-
Updated
Feb 13, 2017 - Rust
#
secd
Here are 13 public repositories matching this topic...
SECD machine and Lispkit Lisp compiler, in Python
-
Updated
Oct 25, 2017 - Python
btLISP: a Pure LISP Self-Compiling Compiler with a SECD-style Virtual Machine
python bootstrap scheme lisp compiler virtual-machine microbit bootstrapping secd scheme-compiler scheme-dialect self-compiling secd-machine
-
Updated
Feb 15, 2022 - Python
A Simple Toy language made in Prolog and OCaml
-
Updated
Mar 25, 2024 - OCaml
An implementation of the mechanical correspondence between algorithms for type checking
-
Updated
Oct 12, 2012 - Standard ML
Implementation of abstract machines in Ocaml
-
Updated
Jun 6, 2018 - OCaml
SECD machine implemented in c++
-
Updated
Feb 21, 2023 - C++
Add this topic to your repo
To associate your repository with the secd topic, visit your repo's landing page and select "manage topics."