Pinned Repositories
base64-strings
searches a text for base64 strings and prints them
beamer-template
A template for LaTeX Beamer
Blockchain
A verified permissioned centralized Blockchain for Isabelle/HOL
dkb-live
parses dkb live website and notifies on change
eq3-thermostat
control a eq3-thermostat
in.tum-fortunes
a collection of in.tum fortunes
jwks2pem
converts keys in jwks (jwk set) format to PEM format
mysql-auth_ldap
mike1703's Repositories
mike1703/in.tum-fortunes
a collection of in.tum fortunes
mike1703/mysql-auth_ldap
mike1703/base64-strings
searches a text for base64 strings and prints them
mike1703/jwks2pem
converts keys in jwks (jwk set) format to PEM format
mike1703/beamer-template
A template for LaTeX Beamer
mike1703/Blockchain
A verified permissioned centralized Blockchain for Isabelle/HOL
mike1703/dkb-live
parses dkb live website and notifies on change
mike1703/eq3-thermostat
control a eq3-thermostat
mike1703/esp-idf-svc
Type-Safe Rust Wrappers for various ESP-IDF services (WiFi, Network, Httpd, Logging, etc.)
mike1703/gcc-dos-test
mike1703/graphite-client
rust client for the graphite protocol
mike1703/imgkit
🎆 Wkhtmltoimage python wrapper to convert html to image
mike1703/irc-plots
generate plots of lines per month for a given nickname
mike1703/irssi-log-parser
parsers a log from irssi with haskell/parsec
mike1703/maths-traits
A simple to use yet abstract system of mathematical traits for the Rust language
mike1703/pisg
repository for pisg
mike1703/rust-esp-debug
mike1703/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.
mike1703/tokio-ssdp
A mininal SSDP device implementation using Tokio
mike1703/tv_sender
Ă–ffentliche TV Senderliste
mike1703/useful-tools
useful but not standard tools I use on a regular basis