A small experimental microkernel for embedded systems
☆23Aug 23, 2022Updated 3 years ago
Alternatives and similar repositories for k5
Users that are interested in k5 are comparing it to the libraries listed below
Sorting:
- ☆22Jul 24, 2021Updated 4 years ago
- Content for Linkerd workshops☆13Oct 30, 2024Updated last year
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago
- Ortholinear keyboard with thumb clusters and a rotary encoder designed with all THT components and regular keysets.☆17Jun 24, 2024Updated last year
- Efficient sampling with uniform probability☆31Jun 16, 2022Updated 3 years ago
- An experimental programming language for ergonomic software verification☆16Feb 5, 2026Updated 3 weeks ago
- Framework for writing UEFI applications☆18Sep 17, 2022Updated 3 years ago
- Simple monolithic kernel written in Rust for x86-64☆24Feb 28, 2025Updated last year
- 🧚 pfil is a cute, minimal editor theme; for low-light and high-contrast.☆21Jan 26, 2026Updated last month
- Prototype debugger for lilos☆27Mar 5, 2025Updated 11 months ago
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 6 years ago
- Shows only the first page of rustc output☆11May 21, 2025Updated 9 months ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 4 months ago
- kindly is a simple Rust implementation of a set-user-ID-root program, similar to sudo but in a much reduced way.☆24May 15, 2025Updated 9 months ago
- cursed☆14Mar 19, 2023Updated 2 years ago
- an rope data structure☆11Dec 1, 2017Updated 8 years ago
- Code sample for "Reading files the hard way Part 3"☆12Mar 11, 2023Updated 2 years ago
- watt-based inline procedural macros☆14Jul 17, 2020Updated 5 years ago
- An example of a common Wi-Fi set up scenario on ESP32 using Rust☆16Mar 29, 2024Updated last year
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- A message broadcasting library based on the Plumtree/HyParView algorithms☆33Oct 23, 2021Updated 4 years ago
- Easy and safe destructuring for more types.☆33Nov 14, 2025Updated 3 months ago
- Terminal information for Rust.☆26Dec 17, 2021Updated 4 years ago
- [Ru]st [W]ater [M]eter - my explorations into an embedded, async, real-world project☆54May 24, 2024Updated last year
- The SmartStand: a headphone stand w/ built-in USB DAC/amplifier that can switch between outputs automatically.☆14Oct 28, 2018Updated 7 years ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- Rust on ESP32 "Hello World" app. A demo binary crate for the ESP32[XX] and ESP-IDF, which connects to WiFi, drives a small HTTP server an…☆10Oct 1, 2021Updated 4 years ago
- slightly-revived and hacked fork of the old noah (NOvel Archicture Hypervisor?) project for using linux vendor tools on macos☆19May 9, 2022Updated 3 years ago
- An attribute macro for creating a `Standard` distribution for rust types☆17May 18, 2021Updated 4 years ago
- Assure that your tests are there, and well written.☆16Jan 19, 2023Updated 3 years ago
- MnemOS Global Networking Protocol☆15Jan 26, 2024Updated 2 years ago
- A GPT Partition Manager☆19Oct 9, 2021Updated 4 years ago
- A list of the few things I don't like about rust☆13Mar 1, 2023Updated 3 years ago
- An experimental project to create an interactive programming language.☆18Jul 11, 2025Updated 7 months ago
- ☆14Feb 21, 2023Updated 3 years ago
- Environmental Controls and Life Support Systems☆14May 1, 2024Updated last year
- Baremetal Backtracing on RISC-V☆16Jun 22, 2021Updated 4 years ago
- Plot streaming data from stdin to a tty terminal☆65Nov 24, 2020Updated 5 years ago
- Wake-on-lan webapp - 🎵 Wake me up, when september ends 🎵☆15Nov 14, 2021Updated 4 years ago