The Wayback Machine - https://web.archive.org/web/20220409112911/https://github.com/marnix
Skip to content
Avatar

Achievements

Achievements

Block or Report

Block or report marnix

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

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

    Python 86 17

  2. mytime Public

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

    Java 5 2

  3. MEPK Public

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

    Java 3

  4. ziggen Public

    Generators for Zig

    Zig 3

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

    Objective-C++ 2

264 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity

April 2022

marnix has no activity yet for this period.