Highlights
- Pro
Stars
Ranged integers for Rust based on const generics
RIOT-rs is an operating system for secure, memory-safe, low-power Internet of Things, written in Rust
A listing of compiler, language and runtime teams for people looking for jobs in this area
Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
Efficient, deferred formatting for logging on embedded systems
Encapsulated Functions, a system for safe interactions with foreign languages from Rust code
Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
Caliptra IP and firmware for integrated Root of Trust block
Free and Open Source Alternative to Splitwise. Share expenses with your friends and family.
The U.S. Web Design System helps the federal government build fast, accessible, mobile-friendly websites.
OpenSprinkler Unified Firmware for OpenSprinkler, OpenSprinkler Pi, and OpenSprinkler Beagle.
API bindings, libstd, and Cargo integration for running Rust applications on a Zephyr kernel
Recall is a calendar based app designed around recording daily events to be able to view trends in productivity, goal completion, and time management over time. It is built natively in swift and sw…
Depth Pro: Sharp Monocular Metric Depth in Less Than a Second.
Nixy is a Hyprland NixOS configuration with home-manager, secrets and custom theming all in one place. It's a simple way to manage your system configuration and dotfiles.
A secure embedded operating system for microcontrollers
Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release
A template for using mobile-nixos to create a mobile clan.lol device