FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7

• UpdatedFeb 17, 2024
• C

A VM-based runtime environment for functional programming languages

• UpdatedFeb 13, 2017
• Rust

Abstract krivine machine implementing call-by-name semantics. In OCaml.

• UpdatedApr 8, 2018
• OCaml

Scheme on SECD

• UpdatedFeb 9, 2021
• C

Seax Virtual Machine

• UpdatedFeb 13, 2017
• Rust

SECD machine and Lispkit Lisp compiler, in Python

• UpdatedOct 25, 2017
• Python

A Simple Toy language made in Prolog and OCaml

• UpdatedMar 25, 2024
• OCaml

btLISP: a Pure LISP Self-Compiling Compiler with a SECD-style Virtual Machine

• UpdatedFeb 15, 2022
• Python

An implementation of the mechanical correspondence between algorithms for type checking

• UpdatedOct 12, 2012
• Standard ML

Java Implementation of SECD Machine + Lispkit Lisp Compiler

• UpdatedDec 15, 2023
• Java

Implementation of abstract machines in Ocaml

• UpdatedJun 6, 2018
• OCaml

Website for secd, the security focused sister project of kthcloud

• UpdatedMay 3, 2024
• HTML

kthcloud secd - backend for secure machine learning workflow

• UpdatedDec 20, 2023
• Python

SECD machine implemented in c++

• UpdatedFeb 21, 2023
• C++

PyPi package facilitating running machine learning workflows on secd

• UpdatedDec 20, 2023
• Python

This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.

• UpdatedNov 28, 2018
• OCaml

LaTeX source of my Cambridge Computer Science Part II dissertation

• UpdatedMay 8, 2020
• TeX