abstract-machine topic
List
abstract-machine repositories
ale
166
Stars
6
Forks
Watchers
Ale is a Lisp Environment for Go applications
WebAssembly-illustrated
90
Stars
1
Forks
Watchers
WebAssembly (Wasm) illustrated
Krivine-Machine
38
Stars
3
Forks
Watchers
Abstract krivine machine implementing call-by-name semantics. In OCaml.
cryptoleq
22
Stars
4
Forks
Watchers
Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
bruijn
86
Stars
0
Forks
Watchers
:abacus: Programming with pure lambda calculus
sequent-calc-talk
30
Stars
0
Forks
Watchers
Code for the "Logic, machines and sequent calculus" talk
sequent-calc
25
Stars
3
Forks
Watchers
Experiments with sequent calculi