Lukas Humbel's repositories
nodemcu-httpserver
A (very) simple web server written in Lua for the ESP8266 firmware NodeMCU.
setjmp-coroutine
Illustrative example of coroutines with setjmp/longjmp.
materialize
Materialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow.
party-teddy
Turn a lullaby playing teddy bear in a party machine!
transmission-on-mycloud
Enable transmission on WD MyCloud v2 firmwares
cscope_maps
my modified version of the cscope_maps plugin for vim.
docker-hie
A docker image that installs GHC 8.6.5 with a matching HIE (haskell-ide-engine) to be used as a base for the HIE-DevContainer
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
justbuild
just, a generic build tool
mat-meta-stresstes
Materialize Metadata Stresstest
nutsnbolts
A OpenSCAD library that allows for simple creation of nuts and bolts and respective nut catches and screw holes
process-exporter
Prometheus exporter that mines /proc to report on selected processes
timely-dataflow
A modular implementation of timely dataflow in Rust
vim-test
Run your tests at the speed of thought