Popular repositories Loading

1. deckschrubber deckschrubber Public

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

   Go 278 53

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

   Public snapshots of "ACSL by Example"

   Rocq Prover 125 22

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

   Open Content Decryption Module (OCDM)

   C++ 124 46

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