HexHive
Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level
- 158 followers
- Switzerland
- https://hexhive.epfl.ch
- @gannimo
Popular repositories Loading
-
retrowrite
retrowrite PublicRetroWrite -- Retrofitting compiler passes through binary rewriting
Repositories
Showing 10 of 95 repositories
- security-group.epfl.ch Public
- teezz-introspection Public
- spill_the_tea Public