Popular repositories Loading

1. deckschrubber deckschrubber Public

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

   Go 274 51

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

   Open Content Decryption Module (OCDM)

   C++ 124 46

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

   Public snapshots of "ACSL by Example"

   Rocq Prover 123 21

4. JSum JSum Public

   Consistent checksum calculation of JSON objects.

   JavaScript 91 10

5. Fuzzino Fuzzino Public

   Java 65 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