☆123Dec 4, 2024Updated last year
Alternatives and similar repositories for book
Users that are interested in book are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V…☆2,497Mar 10, 2026Updated 2 weeks ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- Work-in-progress ports for OpenBSD☆14Jun 30, 2022Updated 3 years ago
- A FREE, easy-to-use and portable implementation of a 9p file server daemon for UNIX-like systems.☆13Nov 4, 2024Updated last year
- Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluat…☆78Jan 19, 2021Updated 5 years ago
- What makes Paxos tick?☆11Apr 16, 2025Updated 11 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- ☆13Sep 5, 2024Updated last year
- Mirror of https://hg.sr.ht/~arnebab/wisp☆17Dec 26, 2020Updated 5 years ago
- SPIN operating system☆14Dec 13, 2012Updated 13 years ago
- A simple (and unfinished!!) database management system.☆21Jun 12, 2023Updated 2 years ago
- A version of the Oberon emulator using RISC-V instead of Wirth's RISC machine.☆44Jun 16, 2021Updated 4 years ago
- Plan9 based kernel in Rust☆20Jun 16, 2019Updated 6 years ago
- Live performance audio session manager using Carla☆15Nov 12, 2023Updated 2 years ago
- Mirage Queue is a library designed to provide the benefits of a message broker without introducing additional infrastructure dependencies☆10Mar 18, 2026Updated last week
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆58Jul 20, 2025Updated 8 months ago
- EQClassic source code from 2010. EverQuest Trilogy Server Emulator.☆28May 7, 2025Updated 10 months ago
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- A tool to make life easier for those who use anki as part of learning new languages☆16Mar 7, 2023Updated 3 years ago
- Regular expressions based on Rob Pike Plan9 regexp9. Forked from https://github.com/attractivechaos/benchmarks/tree/master/reb/regexp9☆15Feb 5, 2022Updated 4 years ago
- Fun, portable, minimalistic virtual machine.☆580Dec 24, 2025Updated 3 months ago
- ☆15Dec 31, 2022Updated 3 years ago
- ☆22Feb 3, 2023Updated 3 years ago
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 4 years ago
- A utility to manage FIDO2 devices☆15Jun 24, 2024Updated last year
- loosely implementing the Web Browser Engineering book in rust☆21Feb 25, 2023Updated 3 years ago
- PropForthV5.5 is Forth progamming environment for Parallax Propeller P8X32A microcontroller created by Sal Sanci☆11Aug 14, 2016Updated 9 years ago
- A Squeak Smalltalk RISC-V ISA implementation, with basic simulation☆26Feb 10, 2021Updated 5 years ago
- Yet another Ruby interpreter for Rinha de Compiladores☆23Sep 28, 2023Updated 2 years ago
- 📱| Tiktok web clone☆23Jun 13, 2024Updated last year
- the web framework that doesn't totally suck☆16Jan 19, 2022Updated 4 years ago
- a readable language that grows from the silicon☆61Jul 24, 2023Updated 2 years ago
- Safely transmute type to itself in generic context in Rust☆15Jan 15, 2023Updated 3 years ago
- The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.☆14Aug 2, 2025Updated 7 months ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated last year
- Example of using s7 Scheme with web assembly and emscripten☆16Jul 29, 2023Updated 2 years ago
- An experimental WASM runtime for Plan 9.☆27Sep 26, 2023Updated 2 years ago
- An framework that provides extensions to the standard library with object oriented design in C☆25Feb 22, 2019Updated 7 years ago