Fraunhofer FOKUS

Popular repositories Loading

1. deckschrubber deckschrubber Public

   Deckschrubber inspects images of a Docker Registry and removes those older than a given age. 🔆🚢

   Go 282 53

2. acsl-by-example acsl-by-example Public

   Public snapshots of "ACSL by Example"

   Rocq Prover 129 22

3. open-content-decryption-module open-content-decryption-module Public

   Open Content Decryption Module (OCDM)

   C++ 127 47

4. JSum JSum Public

   Consistent checksum calculation of JSON objects.

   JavaScript 91 10

5. Fuzzino Fuzzino Public

   Java 67 12

6. cordova-plugin-presentation cordova-plugin-presentation Public

   Create native multiscreen apps in minutes with the Cordova (W3C) Presentation API Plugin.

   Objective-C 52 32