Discover projects, groups and snippets. Share your projects with others
Examples for KLEE usage.
Experiment with procedural macros.
Hardware lab assignment for E7020E 2021
Course material for E7020E Design of Embedded Systems at Luleå University of Technology 2021.
Erode, all errors of Rust!
Low level bindings for KLEE.
Course material for the 2020 installment.