Popular repositories

1. synology-decrypt Public

   An open source implementation/description of the Synology Cloud Sync encryption/decryption algorithm

   Python 86 17

2. zigmmverify Public

   Zig 9

3. mytime Public

   A simple time tracker, mostly controlled through the tray icon.

   Java 5 2

4. MEPK Public

   a Minimal Extensible Proof Kernel, for trusted mathematical proofs in the style of Metamath and Ghilbert

   Java 3

5. ziggen Public

   Generators for Zig

   Zig 3

6. metamath-eclipse-xtext Public

   An Eclipse plugin for Metamath .mm files, based on Xtext

   Objective-C++ 2