GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ abstract-machine
Top 2 abstract-machine open source projects
Krivine-Machine
Abstract krivine machine implementing call-by-name semantics. In OCaml.
✭ 34
ocaml
lambda-calculus
secd
abstract-machine
krivine-machine
WebAssembly-illustrated
WebAssembly (Wasm) illustrated
✭ 70
webassembly
wasm
abstract-machine
1-2
of
2
abstract-machine projects