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
- Ortholinear keyboard with thumb clusters and a rotary encoder designed with all THT components and regular keysets.☆17Jun 24, 2024Updated last year
- Simple monolithic kernel written in Rust for x86-64☆24Feb 28, 2025Updated last year
- An experimental programming language for ergonomic software verification☆16Feb 5, 2026Updated last month
- TOML deck generator with custom templates and schema validation☆37Oct 7, 2023Updated 2 years ago
- Efficient sampling with uniform probability☆31Jun 16, 2022Updated 3 years ago
- Framework for writing UEFI applications☆18Sep 17, 2022Updated 3 years ago
- A message broadcasting library based on the Plumtree/HyParView algorithms☆33Oct 23, 2021Updated 4 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 5 months ago
- Stylish CLIs/TUIs for Rust!☆53Oct 24, 2024Updated last year
- Prototype debugger for lilos☆27Mar 5, 2025Updated last year
- Generator for wrap conan libraries in a rust/cargo package☆13Jun 14, 2016Updated 9 years ago
- An example of a common Wi-Fi set up scenario on ESP32 using Rust☆16Mar 29, 2024Updated last year
- Terminal information for Rust.☆26Dec 17, 2021Updated 4 years ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- 🧚 pfil is a cute, minimal editor theme; for low-light and high-contrast.☆21Jan 26, 2026Updated last month
- MnemOS Global Networking Protocol☆15Jan 26, 2024Updated 2 years ago
- An attribute macro for creating a `Standard` distribution for rust types☆17May 18, 2021Updated 4 years ago
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 6 years ago
- 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
- Easy and safe destructuring for more types.☆33Nov 14, 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 10 months ago
- An experimental project to create an interactive programming language.☆18Jul 11, 2025Updated 8 months ago
- Rust macros that produce the name of the function they're invoked within.☆22May 11, 2022Updated 3 years ago
- Shows only the first page of rustc output☆11May 21, 2025Updated 10 months ago
- watt-based inline procedural macros☆14Jul 17, 2020Updated 5 years ago
- ☆14Feb 21, 2023Updated 3 years ago
- syslog server written in Rust as an introduction to mio for Triangle Rustaceans☆17Jun 30, 2019Updated 6 years ago
- ☆14Apr 1, 2023Updated 2 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
- A Rust implementation of HyParView algorithm☆31Jan 28, 2019Updated 7 years ago
- 🗂️ A simple, opinionated, tool, written in Rust, for declaratively managing Git repos on your machine.☆22Oct 15, 2023Updated 2 years ago
- A simple macro to create correct opaque pointers☆21Apr 23, 2021Updated 4 years ago
- ✨ a microkernel in Rust☆43Oct 7, 2021Updated 4 years ago
- cursed☆14Mar 19, 2023Updated 3 years ago
- Source for rustacean.net, home page of Ferris the Crab.☆36Mar 22, 2025Updated last year
- Plot streaming data from stdin to a tty terminal☆66Nov 24, 2020Updated 5 years ago
- [Ru]st [W]ater [M]eter - my explorations into an embedded, async, real-world project☆54May 24, 2024Updated last year