Collection of community-maintained components for Genode (migrated to codeberg.org)
☆52May 20, 2026Updated 5 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:
- Website for stories around the Genode operating system (migrated to codeberg.org)☆19May 20, 2026Updated 5 months ago
- Tool for streamlining the development of Genode applications (migrated to codeberg.org)☆31Feb 6, 2026Updated 8 months ago
- Tool to convert plain text to LaTeX, HTML, and other formats (migrated to codeberg.org)☆13Feb 5, 2026Updated 8 months ago
- NOVA userland☆50Jan 6, 2014Updated 12 years ago
- Genode OS Framework☆17May 20, 2026Updated 5 months 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.
- Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)☆1,249May 20, 2026Updated 5 months ago
- NOVA Microhypervisor☆11Aug 25, 2026Updated 2 months ago
- Allwinner SoC support for the Genode OS framework (migrated to codeberg.org)☆17May 20, 2026Updated 5 months ago
- Raspberry Pi family support for Genode OS framework (migrated to codeberg.org)☆17Jan 29, 2026Updated 9 months ago
- AEFS, a cryptographic filesystem for Linux☆13Apr 1, 2021Updated 5 years ago
- Desktop Firmware☆19Oct 9, 2018Updated 8 years ago
- NOVA Microhypervisor☆12Jul 1, 2021Updated 5 years ago
- The Wasmer.io website☆21May 31, 2023Updated 3 years ago
- NOVA Microhypervisor☆463Updated this 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.
- KLH10 PDP-10 Emulator☆21Jan 3, 2016Updated 10 years ago
- L4Ka::Pistachio micro-kernel☆303Oct 14, 2019Updated 7 years ago
- The development version of the L4Re Microkernel☆167Oct 23, 2026Updated last week
- 68k port of the PDP-11 version of Comer's Xinu operating system☆19Nov 13, 2015Updated 10 years ago
- osFree - open source Operating System/2 clone, usermode parts.☆151Updated this week
- MaslOS but 2☆52Mar 11, 2026Updated 7 months ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆86Dec 2, 2013Updated 12 years ago
- ☆31Updated this week
- A vendor-independent encrypted folder format optimized for synchronization☆15Oct 20, 2026Updated 2 weeks 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 YouTube Transcoding Proxy for accessing YouTube in Classic MacOS☆13Dec 8, 2022Updated 3 years ago
- RISC-V strace port☆12Aug 18, 2016Updated 10 years ago
- A library for disassembling x86-64 binaries.☆44May 12, 2026Updated 5 months ago
- Research and Innovation Group - 9P library for Clojure☆20Jul 15, 2024Updated 2 years ago
- Mach4 archived source.☆21Jun 7, 2024Updated 2 years ago
- The source of the BSD version moving to POSIX complacence☆16Aug 2, 2014Updated 12 years ago
- Text editor (probably of interest only to me)☆10Aug 18, 2025Updated last year
- rbxi is an rsync based backup utility. It is designed for small network admins, and requires somewhat complex setup. It runs on any unixl…☆13Sep 26, 2023Updated 3 years ago
- Volt text editor. Written entirely in Vlang☆20Sep 17, 2026Updated last month
- 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.
- Documenting issues (and hopefully solutions!) to problems one can face when porting AOSP to a mainlined device.☆10Aug 7, 2020Updated 6 years ago
- cimgui bindings for Nim☆18Jun 3, 2019Updated 7 years ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 8 years ago
- AMD64 POSIX Operating System that I will use as my primary one.☆17Feb 4, 2026Updated 8 months ago
- Simple paint application for Jolla☆11Jun 21, 2022Updated 4 years ago
- This implementation of file system is developed by ELM Chan☆18Aug 28, 2026Updated 2 months ago
- [DEPRECATED] Generate Ada bindings to C++ code☆17Dec 9, 2019Updated 6 years ago