Experiment with procedural macros.
Hardware lab assignment for E7020E 2021
Examples for KLEE usage.
Experimental simulator for synchronous circuits in Rust
Klee examples
id-IoT, keep it stupid simple