Maciej Bielecki's repositories
coq-todomvc
Write Web Apps Like Mathematical Equations! (in Coq)
embassy
Modern embedded framework, using Rust and async.
esp-hal
no_std Hardware Abstraction Layers for ESP32 microcontrollers
esp-idf
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
esp-idf-hal
embedded-hal implementation for Rust on ESP32 and ESP-IDF
esp-idf-svc
Type-Safe Rust Wrappers for various ESP-IDF services (WiFi, Network, Httpd, Logging, etc.)
esp32-idf-sqlite3
Sqlite library for esp-idf (esp32) framework
geojson
Library for serializing the GeoJSON vector GIS file format
large-records
Library to support efficient compilation of large records (linear in the number of record fields)
salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
ssd1306
SSD1306 OLED driver
time
Simple time handling in Rust
xpt2046
Rust driver for XPT2046 touch controller