secd-machine

There are 0 repository under secd-machine topic.

ytaki0801 / btLISP
btLISP: a Pure LISP Self-Compiling Compiler with a SECD-style Virtual Machine
lisp compiler virtual-machine secd-machine python self-compiling bootstrapping secd scheme scheme-compiler scheme-dialect bootstrap microbit
Language:Python 4
joshuanianji / secd-machine
An Interactive Compiler and Interpreter for the SECD Machine
secd-machine
Language:Elm 0
piyush7gupta / Krivine-and-SECD-Machine
Designed and Implemented Krivine and SECD machine that executes Call By Name and Call By Value semantics respectively.
krivine-machine secd-machine call-by-value call-by-reference ocaml
Language:OCaml
Vedant2311 / Interpreters-and-Simulators
Consists of a Functional language as well as an Imperative language, implemented using Ocaml
krivine-machine lexer-parser programming-languages repl secd-machine static-scope type-checker
Language:OCaml

ytaki0801 / btLISP