GitHub repos by fraunhoferfokus
3 public repos by fraunhoferfokus in the catalog, most starred first.
- fraunhoferfokus/deckschrubberStars: 283GoAlpha
- fraunhoferfokus/open-content-decryption-moduleStars: 130C++Prototype
- fraunhoferfokus/acsl-by-exampleStars: 129Rocq ProverPrototype