Pinned Repositories
dimmer
Android connected wake-up light
filz
Filz - A model checked I2C specification
nodemcu-httpserver
A (very) simple web server written in Lua for the ESP8266 firmware NodeMCU.
party-teddy
Turn a lullaby playing teddy bear in a party machine!
setjmp-coroutine
Illustrative example of coroutines with setjmp/longjmp.
transmission-on-mycloud
Enable transmission on WD MyCloud v2 firmwares
lluki's Repositories
lluki/filz
Filz - A model checked I2C specification
lluki/nodemcu-httpserver
A (very) simple web server written in Lua for the ESP8266 firmware NodeMCU.
lluki/setjmp-coroutine
Illustrative example of coroutines with setjmp/longjmp.
lluki/dimmer
Android connected wake-up light
lluki/materialize
Materialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow.
lluki/party-teddy
Turn a lullaby playing teddy bear in a party machine!
lluki/transmission-on-mycloud
Enable transmission on WD MyCloud v2 firmwares
lluki/blog
lluki/cscope_maps
my modified version of the cscope_maps plugin for vim.
lluki/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
lluki/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
lluki/justbuild
just, a generic build tool
lluki/lluki.github.io
lluki/mat-meta-stresstes
Materialize Metadata Stresstest
lluki/nixpkgs
Nix Packages collection & NixOS
lluki/nutsnbolts
A OpenSCAD library that allows for simple creation of nuts and bolts and respective nut catches and screw holes
lluki/p4-utils
Extension to mininet that makes p4 networks easier to build
lluki/persist-test
lluki/process-exporter
Prometheus exporter that mines /proc to report on selected processes
lluki/timely-dataflow
A modular implementation of timely dataflow in Rust
lluki/tonic-test
lluki/vim-test
Run your tests at the speed of thought
lluki/z3
The Z3 Theorem Prover