This is a simple stack virtual machine to be a translation target for toy languages.
☆12Sep 18, 2020Updated 5 years ago
Alternatives and similar repositories for dwarf-vm
Users that are interested in dwarf-vm are comparing it to the libraries listed below
Sorting:
- C implementation of Karplus–Strong synthesis for tiny MCUs☆11Aug 28, 2013Updated 12 years ago
- what I did on my holidays☆12Jul 9, 2018Updated 7 years ago
- My own Rust implementation of Mal (Make a Lisp)☆14Jul 25, 2019Updated 6 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Lecture notes of the course Analysis On Manifolds☆22Feb 25, 2026Updated last week
- TinyBASIC compiler written in C outputting 16-bit x86 NASM code for MS-DOS, FreeDOS and compatibles.☆23Sep 5, 2012Updated 13 years ago
- An append only list in a compact region☆25Sep 6, 2018Updated 7 years ago
- Just a little toy language to learn about register-based VMs.☆22Aug 30, 2012Updated 13 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 6 years ago
- A toy C-like programming language, compiler, and VM☆25Aug 19, 2015Updated 10 years ago
- ☆26Feb 7, 2017Updated 9 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- 这是一个 fps 单机游戏逆向练习项目，使用 imgui 绘制。（This is a reverse practice project for fps single player games, drawn using imgui.）☆13Sep 5, 2023Updated 2 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- SPSC: A Small Positive Supercompiler☆39Feb 12, 2026Updated 3 weeks ago
- Demo page for interaction between SVG, HTML and JavaScript☆14Jan 3, 2014Updated 12 years ago
- Simplified Observational Type Theory☆87Feb 17, 2026Updated 2 weeks ago
- A tiny and basic TINY-BASIC interpreter☆34May 15, 2021Updated 4 years ago
- Sample programs for comparison of different VM interpretation techniques☆37Nov 7, 2024Updated last year
- C-- compiler upstream☆43Sep 22, 2020Updated 5 years ago
- A collection of projects surrounding a bus based on the PC Engine's cartridge slot☆11Mar 4, 2021Updated 5 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- A tiny basic derivative that leverages the ESP32 with an SD card and TFT display☆10Sep 26, 2018Updated 7 years ago
- PicoBOB Deluxe Hardware☆10Nov 29, 2025Updated 3 months ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- Audio-based VR game for the Oculus Go☆11Feb 17, 2019Updated 7 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Monoidal stack machine☆10Nov 25, 2018Updated 7 years ago
- Just an example of a well-known technique to detect memory tampering via Windows Working Sets.☆18Jan 15, 2022Updated 4 years ago
- Ruby implementation of CIEDE2000 color distance formula☆10Dec 19, 2025Updated 2 months ago
- SketchUp models and plugins☆10Sep 5, 2016Updated 9 years ago
- A low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- A Raspberry Pi Pico (RP2040) based Apple IIe expansion card with USB isolation.☆12Apr 21, 2021Updated 4 years ago