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:
- JS-OS is an operating system that is streaming to become a unix clone, but with some added/better capabilities. This project was started …☆29Dec 25, 2013Updated 12 years ago
- VGA-compatible text mode functionality☆17May 16, 2020Updated 6 years ago
- RISC-V Processor Implementation (RV32IM, TileLink-UL)☆27Apr 9, 2026Updated 4 months ago
- Demonstrator for OSDev.org☆13Jan 6, 2019Updated 7 years ago
- Lezione Operating System☆10May 27, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An open source operating system written in NASM and C, with the goal of demystifying how operating systems work.☆14Jul 3, 2026Updated 2 months ago
- A small embeddable Lisp for the Zig ecosystem λ☆29Updated this week
- A Hobby OS intended to be fully POSIX compliant and to some extent Linux compatible.☆18Jan 25, 2025Updated last year
- Demo of hdmi on at 720p with VGA-compatible text mode and sound☆29Jan 27, 2023Updated 3 years ago
- Example of an ELF parser to learn about the ELF format☆11Oct 6, 2024Updated last year
- Static analysis tool that detects potential ransomware in PE and ELF files through heuristic analysis☆20Jan 16, 2024Updated 2 years ago
- Baremetal Embeddable Debugger☆12Feb 22, 2022Updated 4 years ago
- Tiny and portable device tree parser, written in C.☆22Jan 27, 2025Updated last year
- ☆10Nov 8, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆10Oct 6, 2022Updated 3 years ago
- Verification of an Asynchronous FIFO using UVM & SVA☆13Jun 26, 2025Updated last year
- Dark Cloud game packer and unpacker☆12Dec 19, 2015Updated 10 years ago
- System-V UNIX clone for ARM A-Core Processors☆16Jun 15, 2021Updated 5 years ago
- Extracts internal filesystem and sound data of Silent Hill 2☆14Nov 4, 2024Updated last year
- A tiny 3-stage RISC-V core written in Chisel.☆17Apr 14, 2023Updated 3 years ago
- Various exploits for SerenityOS☆17Oct 29, 2021Updated 4 years ago
- Font extractor for Silent Hill 2/3/4 PC games☆11Jun 17, 2022Updated 4 years ago
- A modern x86_64 UNIX-like microkernel-based operating system☆66Sep 25, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 💧 A simple x86-64 kernel written in C☆20Jan 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
- Gallium Operating System☆13Nov 28, 2025Updated 9 months ago
- A repo for storing any kind of libraries related to embedded systems.☆12Jul 19, 2021Updated 5 years ago
- External application installer for N110 calculators☆12Dec 1, 2025Updated 9 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Web-based NumWorks calculator OS updater (WebDFU fork)☆13Oct 6, 2023Updated 2 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆13Feb 1, 2024Updated 2 years ago
- Very hacky Starlet emulator. Here be dragons, this was never meant to be released.☆12Nov 30, 2016Updated 9 years ago
- An OS with future that's not quite bright☆25Jun 11, 2023Updated 3 years ago
- Agda to C compiler☆11Sep 23, 2025Updated 11 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- An operating system running the Ardaku engine.☆19Jan 26, 2026Updated 7 months ago
- gbdfed — tentative history, do not expect it to not be rebased!☆26May 14, 2026Updated 3 months ago