Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with abstract-machine

A curated list of projects in awesome lists tagged with abstract-machine .

https://github.com/takenobu-hs/webassembly-illustrated

WebAssembly (Wasm) illustrated

abstract-machine wasm webassembly

Last synced: 07 Nov 2024

https://github.com/clayrat/sequent-calc-talk

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

abstract-machine sequent-calculus

Last synced: 06 Nov 2024

https://github.com/clayrat/sequent-calc

Experiments with sequent calculi

abstract-machine sequent-calculus

Last synced: 06 Nov 2024

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: 05 Dec 2024

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: 09 Nov 2024

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: 21 Nov 2024