secd
There are 17 repositories under secd topic.
carld/lispkit
FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
hawkw/seax
A VM-based runtime environment for functional programming languages
EarlGray/SECD
Scheme on SECD
techcentaur/Krivine-Machine
Abstract krivine machine implementing call-by-name semantics. In OCaml.
hawkw/seax_svm
Seax Virtual Machine
HarryR/secdpy
SECD machine and Lispkit Lisp compiler, in Python
RISHIT7/Toy-Lang
A Simple Toy language made in Prolog and OCaml
ytaki0801/btLISP
btLISP: a Pure LISP Self-Compiling Compiler with a SECD-style Virtual Machine
ilyasergey/typechecker-transformations
An implementation of the mechanical correspondence between algorithms for type checking
thma/secd
Java Implementation of SECD Machine + Lispkit Lisp Compiler
kthcloud/secd
kthcloud secd - backend for secure machine learning workflow
kthcloud/secd-web
Website for secd, the security focused sister project of kthcloud
NeuroCorgi/secd-machine
SECD machine implemented in c++
recurze/Krivine_SECD
Implementation of abstract machines in Ocaml
CsengerG/dissertation
LaTeX source of my Cambridge Computer Science Part II dissertation
pradyumnameena/COL226-Programming-Languages
This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.
kthcloud/secd-pip
PyPi package facilitating running machine learning workflows on secd