genodelabs / genodians.orgView external linksLinks
Website for stories around the Genode operating system (migrated to codeberg.org)
☆18Dec 12, 2025Updated 2 months ago
Alternatives and similar repositories for genodians.org
Users that are interested in genodians.org are comparing it to the libraries listed below
Sorting:
- Tool for streamlining the development of Genode applications (migrated to codeberg.org)☆30Feb 6, 2026Updated last week
- Collection of community-maintained components for Genode☆51Jan 29, 2026Updated 2 weeks ago
- Reference manual for the Genode OS Framework☆24Oct 30, 2025Updated 3 months ago
- Allwinner SoC support for the Genode OS framework (migrated to codeberg.org)☆17Jan 29, 2026Updated 2 weeks ago
- ☆12Feb 3, 2026Updated last week
- ☆27Mar 21, 2025Updated 10 months ago
- Genode OS Framework☆1,206Updated this week
- WIP☆37May 18, 2025Updated 8 months ago
- Golang library and cmd for flattening JSON and converting JSON to CSV.☆12Mar 17, 2025Updated 10 months ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆43Updated this week
- ☆13Mar 4, 2017Updated 8 years ago
- [TPAMI 2022] Disentangling Light Fields for Super-Resolution and Disparity Estimation☆13Apr 2, 2024Updated last year
- An extensible component for detecting cosmetic contact lenses in iris imagery.☆10Jun 25, 2025Updated 7 months ago
- MorphOS port of git☆12May 20, 2018Updated 7 years ago
- A log of the state of fil+ allocators☆12Updated this week
- KeyTerms centralized terminology management tool☆13Feb 7, 2019Updated 7 years ago
- Context Hub Runtime Environment (CHRE)☆10Oct 17, 2023Updated 2 years ago
- An autonomous service implementing a decentralized Impact Evaluator☆13Dec 1, 2025Updated 2 months ago
- [DEPRICATED] Project won't be continued.☆10Jul 31, 2023Updated 2 years ago
- another crux ports repo☆11Updated this week
- Exploration of the U.S. rulesets as a network☆15May 20, 2022Updated 3 years ago
- ☆11Jun 13, 2024Updated last year
- An EPICS areaDetector driver for CCD detectors from Andor Technology using Version 2 of the Andor Software Development Kit (SDK).☆10Dec 17, 2025Updated last month
- Metadata agent for configuration of illumos guests on DigitalOcean☆16May 14, 2025Updated 9 months ago
- Python utilities for submitting jobs on high performance computing systems☆11Apr 17, 2025Updated 9 months ago
- HAL for Infineon ICs☆16Jan 26, 2026Updated 2 weeks ago
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- NoDice level editor and MusConv utility supporting my specific disassemblies☆10Jan 10, 2021Updated 5 years ago
- A flying and rock-shooting game☆17Oct 14, 2021Updated 4 years ago
- ☆11May 21, 2021Updated 4 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 4, 2026Updated last week
- ☆12Oct 1, 2021Updated 4 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- Bazam.org is Shazam for books! Find any book by context, keyword, or id☆10Jan 28, 2021Updated 5 years ago
- ☆13Sep 12, 2025Updated 5 months ago
- A web scraper designed to link prntscr.com URLs with their associated Imgur images, and archive them.☆14Jan 22, 2018Updated 8 years ago
- An up-to-date Vulkan for Golang/Go☆16Sep 5, 2025Updated 5 months ago
- Lab Material for UEFI / EDK II Training☆11Nov 28, 2022Updated 3 years ago
- This is the code for "Neural Network Reconstruction of Plasma Space-Time" by C.Bard and J.Dorelli (DOI: 10.3389/fspas.2021.732275). It is…☆13Oct 6, 2021Updated 4 years ago