Nix files for development on the esp32 in rust using the esp-idf framework
☆26May 27, 2020Updated 5 years ago
Alternatives and similar repositories for rust-esp-nix
Users that are interested in rust-esp-nix are comparing it to the libraries listed below
Sorting:
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Apr 17, 2016Updated 9 years ago
- Content for Linkerd workshops☆13Oct 30, 2024Updated last year
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Dec 14, 2016Updated 9 years ago
- This repository contains a non-copying implementation of a sliding windows iterator adaptor.☆11Jun 17, 2017Updated 8 years ago
- MnemOS Global Networking Protocol☆15Jan 26, 2024Updated 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
- 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
- Efficient sampling with uniform probability☆31Jun 16, 2022Updated 3 years ago
- An experimental project to create an interactive programming language.☆18Jul 11, 2025Updated 7 months ago
- ☆22Jul 24, 2021Updated 4 years ago
- Wake-on-lan webapp - 🎵 Wake me up, when september ends 🎵☆15Nov 14, 2021Updated 4 years ago
- Bike game☆14Aug 18, 2024Updated last year
- ☆18Mar 28, 2024Updated last year
- syslog server written in Rust as an introduction to mio for Triangle Rustaceans☆17Jun 30, 2019Updated 6 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
- A minimalistic Jekyll theme recreating the look of plain Markdown file (with some extras)☆18Jul 9, 2025Updated 7 months ago
- dhcpm is a CLI tool for constructing & sending DHCP messages☆30Apr 30, 2025Updated 10 months ago
- Rust GPIO library supporting bare metal and Linux.☆21Apr 10, 2018Updated 7 years ago
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 3 years ago
- Asynchronous udev hotplug monitor using Tokio and Mio.☆25Oct 8, 2025Updated 4 months ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Jan 4, 2026Updated 2 months ago
- 🧚 pfil is a cute, minimal editor theme; for low-light and high-contrast.☆21Jan 26, 2026Updated last month
- NixOS Flake providing bare bones (but ready to go!) configurations for Raspberry Pi devices.☆20May 15, 2025Updated 9 months ago
- Main repository for OpenMetroMaps☆59Feb 22, 2026Updated last week
- Create full netboot images in 15 seconds.☆54Apr 25, 2021Updated 4 years ago
- Line segment rasterization with pixel-perfect clipping.☆23Jul 28, 2025Updated 7 months ago
- A Nix DSL that compiles to Lua☆26Jul 21, 2025Updated 7 months ago
- Parts of Nix ported to Rust☆35Jan 3, 2026Updated 2 months ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆67Updated this week
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 2 years ago
- The Ideal interface for configuring packages☆32Nov 22, 2022Updated 3 years ago
- Rust library that provides helpers for testing resilience of I/O operations.☆33Mar 13, 2023Updated 2 years ago
- Fluxion is an actor framework designed with distributed systems in mind, namely sending messages not just between actors, but also betwee…☆29Nov 5, 2024Updated last year
- SecureX is an Elixir Library To Handle User Roles and Permissions.☆12Jul 20, 2023Updated 2 years ago
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 2 months ago
- TOML deck generator with custom templates and schema validation☆37Oct 7, 2023Updated 2 years ago
- Generate Rust structs from ClickHouse rows☆53Feb 5, 2026Updated 3 weeks ago
- VU Dials Server Application☆37Aug 11, 2024Updated last year