☆29Nov 12, 2025Updated 3 months ago
Alternatives and similar repositories for musllibc
Users that are interested in musllibc are comparing it to the libraries listed below
Sorting:
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Feb 25, 2026Updated last week
- Project to build and test seL4 for many different platforms☆17Feb 26, 2026Updated last week
- Component Architecture test suite and example apps.☆34Aug 15, 2025Updated 6 months ago
- sel4 benchmarking applications and support library.☆19Dec 18, 2025Updated 2 months ago
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- A wishbone controlled FM transmitter hack☆24Jan 16, 2024Updated 2 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Feb 13, 2026Updated 3 weeks ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- The main CAmkES tool☆27Nov 25, 2025Updated 3 months ago
- ☆17Nov 22, 2025Updated 3 months ago
- Multiplatform hivelytracker musicdisk☆16Dec 22, 2022Updated 3 years ago
- This repo contains driver samples prepared for use with Microsoft Visual Studio and the Windows Driver Kit (WDK). It contains both Univer…☆12Apr 25, 2019Updated 6 years ago
- A simple terminal music player for GNU/Linux☆13Aug 1, 2025Updated 7 months ago
- Capability Distribution Language tools for seL4☆38Nov 25, 2025Updated 3 months ago
- ☆61Jan 29, 2026Updated last month
- This is the source of the seL4 docs.☆18Updated this week
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 7 years ago
- Virtual Machine built as a CAmkES component.☆24Aug 15, 2025Updated 6 months ago
- A Real Time Clock core for FPGA's☆28Jan 17, 2024Updated 2 years ago
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated 4 months ago
- nextpnr portable FPGA place and route tool☆21Aug 21, 2024Updated last year
- ☆12Jan 7, 2023Updated 3 years ago
- Library to Generate SPIR-V Binary☆36Feb 28, 2025Updated last year
- the official cc65 documentation☆33Updated this week
- Apps for running with the rumprun unikernel on seL4.☆33Updated this week
- A dev board designed to facilitate the development of USB firmware for STM32☆30Jul 2, 2024Updated last year
- ☆30Dec 12, 2021Updated 4 years ago
- Code repository for R Machine Learning Techniques, published by Packt☆11Jan 14, 2021Updated 5 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- MorphOS port of git☆12May 20, 2018Updated 7 years ago
- SymbiFlow WIP changes for Verilog to Routing -- Open Source CAD Flow for FPGA Research☆39Aug 21, 2024Updated last year
- Efficient Bloom filters for OCaml☆38Jan 3, 2022Updated 4 years ago
- SymbiFlow WIP changes for Yosys Open SYnthesis Suite☆41Mar 19, 2024Updated last year
- Simple time interval counter.☆12Nov 24, 2021Updated 4 years ago
- Open Source, Prepare a molecular dynamic simulation from scratch without installing local VMD, use LigParGen for topology, it is one of t…☆13Jul 3, 2023Updated 2 years ago
- Simplex representation of molecular structure - a chemoinformatic tool for calculation of simplex descriptors☆13Apr 13, 2023Updated 2 years ago