Awesome Open Source

Programming Languages

Search results for abstract machine

abstract-machine x

7 search results found

🧮 Programming with pure lambda calculus

Webassembly Illustrated ⭐ 43

WebAssembly (Wasm) illustrated

Sequent Calc Talk ⭐ 29

Code for the "Logic, machines and sequent calculus" talk

Krivine Machine ⭐ 29

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

Phd Dissertation ⭐ 23

A summary of my activities during the past four years

Sequent Calc ⭐ 21

Experiments with sequent calculi

Cryptoleq ⭐ 11

Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.

Related Searches

Lambda Calculus Abstract Machine (4)

Programming Language Abstract Machine (3)

1-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.