- mytime 4 A simple time tracker, mostly controlled through the tray icon.
- metamath-eclipse-xtext 2 An Eclipse plugin for Metamath .mm files, based on Xtext
- MEPK 1 a Minimal Extensible Proof Kernel, for trusted mathematical proofs in the style of Metamath and Ghilbert
- EventStore 1 Yet another event storage for event sourcing.
- svndumpfilterIN 0 An implementation of Apache's svndumpfilter that solves some common problems.
Repositories contributed to
Contributions in the last year 96 total Feb 6, 2015 – Feb 6, 2016
Longest streak 4 days October 26 – October 29
Current streak 0 days Last contributed