Discover projects, groups and snippets. Share your projects with others
Userscript that adds a volume slider to BBB rooms
Tamarin models and security proofs for the paper "Integrating Privacy into the Electric Vehicle Charging Architecture"
This project contains source code samples for compiler techology, in support of Prof. R. C. Moore's "Compiler Costruction" class (FbI, h_da).