Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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: 27 Oct 2024

https://github.com/hawkw/seax_svm

Seax Virtual Machine

lisp-interpreter rust secd virtual-machine

Last synced: 27 Oct 2024

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: 05 Dec 2024

https://github.com/thma/secd

Java Implementation of SECD Machine + Lispkit Lisp Compiler

lispkit secd

Last synced: 17 Dec 2024