Marvelous RISC-V Operating System, by donaldsebleung
☆22Oct 15, 2022Updated 3 years ago
Alternatives and similar repositories for marvelos
Users that are interested in marvelos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VGA-compatible text mode functionality☆17May 16, 2020Updated 6 years ago
- RISC-V Processor Implementation (RV32IM, TileLink-UL)☆26Apr 9, 2026Updated 5 months ago
- Demonstrator for OSDev.org☆13Jan 6, 2019Updated 7 years ago
- csv grammar for tree-sitter☆12Sep 13, 2026Updated 2 weeks ago
- Lezione Operating System☆10May 27, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A small embeddable Lisp for the Zig ecosystem λ☆28Sep 6, 2026Updated 3 weeks ago
- Parse objdump files using tree-sitter☆13Nov 22, 2023Updated 2 years ago
- LD linker script grammar for tree-sitter☆11Sep 13, 2026Updated 2 weeks ago
- An OS that "throws" bests☆15Dec 1, 2024Updated last year
- The code for the RISC-V from scratch blog post series.☆97Aug 16, 2020Updated 6 years ago
- A Hobby OS intended to be fully POSIX compliant and to some extent Linux compatible.☆18Jan 25, 2025Updated last year
- Preview markdown files in yazi with mdcat☆13Apr 24, 2025Updated last year
- Example of an ELF parser to learn about the ELF format☆11Oct 6, 2024Updated last year
- ☆13Jul 17, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Parse disassembly files using tree-sitter☆13Dec 3, 2023Updated 2 years ago
- hyeoOS is an Operating System written in Assembly and C☆22Nov 15, 2022Updated 3 years ago
- TOML grammar for tree-sitter☆17Jul 10, 2025Updated last year
- ☆10Nov 8, 2019Updated 6 years ago
- ☆10Oct 6, 2022Updated 3 years ago
- Verification of an Asynchronous FIFO using UVM & SVA☆13Jun 26, 2025Updated last year
- System-V UNIX clone for ARM A-Core Processors☆16Jun 15, 2021Updated 5 years ago
- Tiny and portable device tree parser, written in C.☆24Jan 27, 2025Updated last year
- Extracts internal filesystem and sound data of Silent Hill 2☆14Nov 4, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ZEngine - 3D Game Engine☆13Mar 8, 2026Updated 6 months ago
- A tiny 3-stage RISC-V core written in Chisel.☆18Apr 14, 2023Updated 3 years ago
- Font extractor for Silent Hill 2/3/4 PC games☆12Jun 17, 2022Updated 4 years ago
- CAN (Controller Area Network) bus system to simulate transmitter and receiver signals between the powertrain and ECU (Electric Control Un…☆14Jul 31, 2023Updated 3 years ago
- Сompiler of classical algorithms into oracles for quantum computing☆15Oct 2, 2025Updated 11 months ago
- A modern x86_64 UNIX-like microkernel-based operating system☆66Sep 25, 2022Updated 4 years ago
- 💧 A simple x86-64 kernel written in C☆19Jan 7, 2022Updated 4 years ago
- VS Code extension that recommends using the Windows Subsystem for Linux (WSL) and the Remote WSL extension.☆12Mar 30, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Gallium Operating System☆13Nov 28, 2025Updated 9 months ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- A Minecraft mod that extends Diet. It rebalances food stats and gives subtle perks for different food groups.☆13Sep 25, 2023Updated 3 years ago