Projects in Awesome Lists tagged with abstract-machine
A curated list of projects in awesome lists tagged with abstract-machine .
https://github.com/kode4food/ale
Ale is a Lisp Environment for Go applications
abstract-machine compiler go golang lisp scheme
Last synced: 23 Jan 2026
https://github.com/takenobu-hs/webassembly-illustrated
WebAssembly (Wasm) illustrated
abstract-machine wasm webassembly
Last synced: 24 Jun 2025
https://github.com/clayrat/sequent-calc-talk
Code for the "Logic, machines and sequent calculus" talk
abstract-machine sequent-calculus
Last synced: 27 Feb 2026
https://github.com/clayrat/sequent-calc
Experiments with sequent calculi
abstract-machine sequent-calculus
Last synced: 06 Feb 2026
https://github.com/ilyasergey/typechecker-transformations
An implementation of the mechanical correspondence between algorithms for type checking
abstract-machine cesk ml reduction secd type-checking
Last synced: 13 Feb 2026
https://github.com/pqnelson/ml
A Study in Implementing Functional Programming Languages
abstract-machine acsl c compiler correctness functional-programming-language hoare-logic interpreter language parser twelf
Last synced: 11 May 2025
https://github.com/ragibson/minijava-compiler
A compiler for a subset of Java ("miniJava") as well as an abstract machine and test suites.
abstract-machine compiler java minijava
Last synced: 06 Oct 2025
https://github.com/jaraonthe-dot-net/asb
The Assembler Sandbox allows developers to experiment with machine instructions
abstract-machine assembler development emulator experimental hardwaredesign
Last synced: 09 Feb 2026
https://github.com/gabrielemaurina/random-access-machine
Random Access Machine implemented in python.
abstract-machine machine python ram random-access-machine turing-complete turing-machine
Last synced: 27 Jul 2025
https://github.com/gabrielemaurina/while-machine
While Abstract Machine implemented in python.
abstract-machine python turing turing-complete turing-machine while while-abstract-machine
Last synced: 18 Jun 2025