Felix Kohlgrüber's repositories
yew-pwa-minimal
A minimal Progressive Web App using Yew.
format-galaxy
(experiment)
terminal-editor-rs
A simple terminal editor written in Rust
libsml-testing
collection of SML messages/telegrams from Smart Meters
atat-blue-pill
[WIP] esp8266 + stm32f103 + Rust = ❤️
crev-proofs
Crev proof repository
esp-idf-svc
Type-Safe Rust Wrappers for various ESP-IDF services (WiFi, Network, Httpd, Logging, etc.)
format-galaxy-deploy
Deployment of the format galaxy web editor (see https://github.com/fkohlgrueber/format-galaxy)
hough-transform-d3
Interactive explorable explanation of the hough transform
rust-analyzer
An experimental Rust compiler front-end for IDEs
rust-esp32-std-demo
Rust on ESP32 STD demo app. A demo STD binary crate for the ESP32[XX] and ESP-IDF, which connects to WiFi, Ethernet, drives a small HTTP server and draws on a LED screen.
stm32f1xx-hal
A Rust embedded-hal HAL impl for the STM32F1 family based on japarics stm32f103xx-hal
this-week-in-rust
Data for this-week-in-rust.org
yew-pwa-deploy
Deployment of https://github.com/fkohlgrueber/yew-pwa-minimal.
z3
The Z3 Theorem Prover