Popular repositories Loading

1. synology-decrypt synology-decrypt Public

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

   Python 98 23

2. zigmmverify zigmmverify Public

   Zig 11

3. mytime mytime Public

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

   Java 5 2

4. ziggen ziggen Public

   Generators for Zig

   Zig 4

5. MEPK MEPK Public

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

   Java 3

6. metamath-eclipse-xtext metamath-eclipse-xtext Public

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

   Objective-C++ 2