Ale is a Lisp Environment for Go applications

WebAssembly (Wasm) illustrated

🧮 Programming with pure lambda calculus

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

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

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

Experiments with sequent calculi

An implementation of the TAM (Triangle Abstract Machine) Stack Machine, in Java.

The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.

A compiler for a subset of Java ("miniJava") as well as an abstract machine and test suites.

program that accepts a tag system definition and emulates it's behavior

An implementation of the mechanical correspondence between algorithms for type checking

A Study in Implementing Functional Programming Languages

An abstract machine implementation made for the "Programming Languages" course at the University of Parma in 2008.

Implementation of abstract machines in Ocaml

Compiler that generates assembly code for the specified abstract machine for programs written in WinZig language

My implementation of a Norma Machine Simulator

Random Access Machine implemented in python.

The Assembler Sandbox allows developers to experiment with machine instructions