A L4.X2 compatible microkernel
☆15Jul 8, 2022Updated 4 years ago
Alternatives and similar repositories for mung
Users that are interested in mung are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- L4Ka::Pistachio micro-kernel☆303Oct 14, 2019Updated 7 years ago
- An object-oriented operating system focused on isolating processes to improve security, portability & scaling☆15Aug 9, 2023Updated 3 years ago
- Genode OS Framework☆17May 20, 2026Updated 5 months ago
- The Milkymist GUI toolkit (Genode FX based), because X11 sucks!☆14Jul 12, 2011Updated 15 years ago
- Trace port extention for GDB☆16Mar 18, 2013Updated 13 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- OpenBSD/L4 port☆18Apr 6, 2017Updated 9 years ago
- Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully a…☆20Jul 4, 2026Updated 3 months ago
- Portable DRM-compatible device drivers for GPUs☆22Jan 16, 2025Updated last year
- Raspberry Pi family support for Genode OS framework (migrated to codeberg.org)☆17Jan 29, 2026Updated 9 months ago
- Linux Kernel source code for the device bq Aquaris M10☆10Apr 2, 2019Updated 7 years ago
- My manual analysis of malware families☆13Jul 12, 2017Updated 9 years ago
- NOVA Microhypervisor☆11Aug 25, 2026Updated 2 months ago
- DHCP Client in Rust☆11Apr 10, 2023Updated 3 years ago
- A vendor-independent encrypted folder format optimized for synchronization☆15Oct 20, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A custom OS distribution☆24Jul 29, 2025Updated last year
- Allwinner SoC support for the Genode OS framework (migrated to codeberg.org)☆17May 20, 2026Updated 5 months ago
- L4Ka::Hazelnut micro-kernel☆39Sep 1, 2015Updated 11 years ago
- NOVA runtime environment (official branch)☆36Jul 1, 2021Updated 5 years ago
- Example ActiveJ: Java framework for modern web, cloud, high-load, and microservices solutions☆10Mar 10, 2023Updated 3 years ago
- L4Ka::Afterburner virtualization project☆19Oct 13, 2011Updated 15 years ago
- Rust PostgresSQL clients benchmark☆17Aug 24, 2025Updated last year
- The Silcos kernel is a hybrid, robust and compact modular kernel which provides a platform to build the Silcos OS and SilkUI☆11Jun 22, 2019Updated 7 years ago
- Website for stories around the Genode operating system (migrated to codeberg.org)☆19May 20, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- My attempts at developing an operating system kernel.☆12Nov 25, 2014Updated 11 years ago
- integer-to-string conversion algorithms☆16May 4, 2026Updated 5 months ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆24Feb 23, 2020Updated 6 years ago
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated 11 months ago
- L4Ka::IDL4 Compiler☆22Sep 1, 2015Updated 11 years ago
- Moved to:☆12Jul 9, 2019Updated 7 years ago
- A minimalist IP stack written in ANSI C.☆55Jul 27, 2025Updated last year
- Docker build for joshwyant/gcc-cross☆12Jul 17, 2020Updated 6 years ago
- Hobby OS, monolithic kernel, multiboot-compatible☆12Oct 21, 2022Updated 4 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 lightweight, yet extensively featured, fast, zero-dependency, WebCrypto based end-to-end encryption library for JS/TS. Works anywhere -…☆21Oct 15, 2024Updated 2 years ago
- Intel Open Source Graphics Programmer Reference Manual (PRM)☆49May 19, 2024Updated 2 years ago
- Distributed build server for software distributions☆20Mar 8, 2026Updated 7 months ago
- NOVA Microhypervisor☆464Updated this week
- cmaid examples☆12Jun 8, 2024Updated 2 years ago
- A small fantasy computer and ISA☆13Dec 1, 2025Updated 10 months ago
- ☆18Jan 26, 2023Updated 3 years ago