Collection of community-maintained components for Genode (migrated to codeberg.org)
☆52Jan 29, 2026Updated 2 months ago
Alternatives and similar repositories for genode-world
Users that are interested in genode-world are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool for streamlining the development of Genode applications (migrated to codeberg.org)☆31Feb 6, 2026Updated 2 months ago
- Website for stories around the Genode operating system (migrated to codeberg.org)☆19Dec 12, 2025Updated 4 months ago
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated 5 months ago
- Tool to convert plain text to LaTeX, HTML, and other formats (migrated to codeberg.org)☆13Feb 5, 2026Updated 2 months ago
- Genode OS Framework☆1,238Apr 7, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- kLIBC Extension Library☆15Jan 11, 2026Updated 3 months ago
- ☆15Feb 19, 2011Updated 15 years ago
- L4Ka::Pistachio micro-kernel☆300Oct 14, 2019Updated 6 years ago
- The development version of the L4Re Microkernel☆160Apr 1, 2026Updated 2 weeks ago
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 2 years ago
- KLH10 PDP-10 Emulator☆20Jan 3, 2016Updated 10 years ago
- The Wasmer.io website☆21May 31, 2023Updated 2 years ago
- Organization site☆11Sep 27, 2019Updated 6 years ago
- NetBSD reference version for MINIX - Automatically replicated from gerrit.minix3.org☆19Aug 14, 2021Updated 4 years 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.
- ☆29Mar 31, 2026Updated 2 weeks ago
- Ideas for a new implementation of cjdns☆21Feb 4, 2015Updated 11 years ago
- Nix bindings for all languages☆44Jun 9, 2025Updated 10 months ago
- Xcode-compatible build tool. Forked for PureDarwin☆13Jul 19, 2024Updated last year
- osFree - open source Operating System/2 clone, usermode parts.☆136Mar 6, 2026Updated last month
- Mach4 archived source.☆19Jun 7, 2024Updated last year
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago
- A YouTube Transcoding Proxy for accessing YouTube in Classic MacOS☆13Dec 8, 2022Updated 3 years ago
- Community fork of flake-compat [maintainer=@zimbatm]☆20Oct 28, 2025Updated 5 months 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.
- A library for disassembling x86-64 binaries.☆44Updated this week
- The source of the BSD version moving to POSIX complacence☆16Aug 2, 2014Updated 11 years ago
- ☆18Nov 2, 2025Updated 5 months ago
- Research and Innovation Group - 9P library for Clojure☆21Jul 15, 2024Updated last year
- Work in progress OpenIndiana documentation☆50Mar 30, 2026Updated 2 weeks ago
- NixOS module for changing the LED color on Framework laptops☆12Nov 5, 2025Updated 5 months ago
- ☆16Jan 16, 2025Updated last year
- ☆13Mar 22, 2025Updated last year
- Implementation of RFC-0125's datatype and synthesis tooling.☆29Apr 5, 2026Updated last week
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- This implementation of file system is developed by ELM Chan☆16Oct 23, 2025Updated 5 months ago
- An up-to-date Vulkan for Golang/Go☆17Sep 5, 2025Updated 7 months ago
- A utility to easily run Android Cuttlefish VMs with QEMU☆18Nov 7, 2023Updated 2 years ago
- ☆43Nov 16, 2025Updated 4 months ago
- Classes and command-line utilities for interacting with BibTeX style databases☆17Nov 12, 2023Updated 2 years ago
- Project Trellis database☆14Sep 15, 2025Updated 7 months ago
- This is a fork of Linux, for various purposes.☆16Feb 20, 2024Updated 2 years ago