Pinned Repositories
MEPK
a Minimal Extensible Proof Kernel, for trusted mathematical proofs in the style of Metamath and Ghilbert
metamath-eclipse-xtext
An Eclipse plugin for Metamath .mm files, based on Xtext
mytime
A simple time tracker, mostly controlled through the tray icon.
synology-decrypt
An open source implementation/description of the Synology Cloud Sync encryption/decryption algorithm
zig-stm32f3discovery-play
Started from rbino/zig-stm32-blink for STM32F4DISCOVERY, updated to do blinky things and more for STM32F3DISCOVERY
ziggen
Generators for Zig
zigmmverify
marnix's Repositories
marnix/mytime
A simple time tracker, mostly controlled through the tray icon.
marnix/MEPK
a Minimal Extensible Proof Kernel, for trusted mathematical proofs in the style of Metamath and Ghilbert
marnix/metamath-eclipse-xtext
An Eclipse plugin for Metamath .mm files, based on Xtext
marnix/EventStore
Yet another event storage for event sourcing.
marnix/metamath.vim
Metamath syntax highlighting for Vim, and more.
marnix/aws-signing-request-interceptor
Request Interceptor for Apache Client that signs the request for AWS
marnix/choosealicense.com
A site to provide non-judgmental guidance on choosing a license for your open source project
marnix/designthis
No code, just a Wiki with my design ideas
marnix/fuse-jna
A Java library providing JNA bindings to FUSE. Should work on both Linux and OS X.
marnix/icfp-www
ICFP web page
marnix/Idris-dev
A Dependently Typed Functional Programming Language
marnix/lazy-panic.rs
Provides lazy utilities to lazily set custom panic hook
marnix/maven-xtext-example
An Xtext language and example usage of it built with Maven
marnix/metamath-test
Test metamath verification implementations
marnix/mmgh
Some Racket code to work with Metamath and Ghilbert files and proofs
marnix/mmm
Little Theories for Metamath: specification (and perhaps toy implementation) of a Metamath module system
marnix/opentsdb.net
GitHub Pages backed hosting of opentsdb.net
marnix/precise-patches-lib
A Java (or Scala?) library for working with Darcs-like patches, allowing custom patch types.
marnix/promoted-builds-plugin
Jenkins promoted-builds plugin
marnix/repl.it
Online REPL for 15+ languages.
marnix/smm
sorear's Metamath system engine
marnix/SOMns
SOMns is a Simple Newspeak Implementation focusing on Concurrency Features
marnix/svndumpfilterIN
An implementation of Apache's svndumpfilter that solves some common problems.