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

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

Implementation of abstract machines in Ocaml

👨‍💻 Computational theory and abstract machine development.

Random Access Machine implemented in python.

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

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

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

Simulator to run abstract machine with dual cores implemented by Java

The Assembler Sandbox allows developers to experiment with machine instructions

An implementation of the mechanical correspondence between algorithms for type checking

While Abstract Machine implemented in python.

A Study in Implementing Functional Programming Languages

🧮 Programming with pure lambda calculus

My implementation of a Norma Machine Simulator

WebAssembly (Wasm) illustrated

A stable version of nexus-am (created by jyy).

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.