Movatterモバイル変換

Skip to content

#

secd-machine

Here are 5 public repositories matching this topic...

Language:All

Filter by language

All5 OCaml2 C1 Elm1 Python1

ytaki0801 /btLISP

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

UpdatedFeb 15, 2022
Python

joshuanianji /secd-machine

An Interactive Compiler and Interpreter for the SECD Machine

UpdatedFeb 13, 2024
Elm

theblacksquid /secd_redux

UpdatedMay 15, 2024
C

Vedant2311 /Interpreters-and-Simulators

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

UpdatedJan 27, 2021
OCaml

piyush7gupta /Krivine-and-SECD-Machine

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

UpdatedAug 24, 2020
OCaml

Improve this page

Add a description, image, and links to thesecd-machine topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thesecd-machine topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp