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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Jul 24, 2021Updated 4 years ago
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago
- Content for Linkerd workshops☆13Oct 30, 2024Updated last year
- An experimental programming language for ergonomic software verification☆16Apr 4, 2026Updated last week
- TOML deck generator with custom templates and schema validation☆37Oct 7, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Efficient sampling with uniform probability☆32Jun 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 6 months ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- Stylish CLIs/TUIs for Rust!☆53Oct 24, 2024Updated last year
- Prototype debugger for lilos☆27Mar 5, 2025Updated last year
- Baremetal Backtracing on RISC-V☆16Jun 22, 2021Updated 4 years ago
- Generator for wrap conan libraries in a rust/cargo package☆13Jun 14, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 2 months ago
- 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
- an rope data structure☆11Dec 1, 2017Updated 8 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.☆33Mar 31, 2026Updated last week
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- 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 9 months ago
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 3 years ago
- Shows only the first page of rustc output☆11May 21, 2025Updated 10 months 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 3 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
- 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.
- 🗂️ 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
- 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
- A Blinking Queue☆19Dec 20, 2021Updated 4 years ago