ytaki0801 / btLISP Star 4 Code Issues Pull requests 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
joshuanianji / secd-machine Star 1 Code Issues Pull requests An Interactive Compiler and Interpreter for the SECD Machine secd-machine Updated Feb 13, 2024 Elm
Vedant2311 / Interpreters-and-Simulators Star 0 Code Issues Pull requests Consists of a Functional language as well as an Imperative language, implemented using Ocaml repl programming-languages type-checker krivine-machine static-scope lexer-parser secd-machine Updated Jan 27, 2021 OCaml
piyush7gupta / Krivine-and-SECD-Machine Star 0 Code Issues Pull requests Designed and Implemented Krivine and SECD machine that executes Call By Name and Call By Value semantics respectively. ocaml krivine-machine call-by-value secd-machine call-by-reference Updated Aug 24, 2020 OCaml