Popular repositories Loading

1. deckschrubber deckschrubber Public

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

   Go 270 51

2. open-content-decryption-module open-content-decryption-module Public

   Open Content Decryption Module (OCDM)

   C++ 124 47

3. acsl-by-example acsl-by-example Public

   Public snapshots of "ACSL by Example"

   Rocq Prover 120 21

4. JSum JSum Public

   Consistent checksum calculation of JSON objects.

   JavaScript 92 9

5. Fuzzino Fuzzino Public

   Java 64 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 34