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/synology-decrypt
An open source implementation/description of the Synology Cloud Sync encryption/decryption algorithm
marnix/zigmmverify
marnix/ziggen
Generators for Zig
marnix/zig-stm32f3discovery-play
Started from rbino/zig-stm32-blink for STM32F4DISCOVERY, updated to do blinky things and more for STM32F3DISCOVERY
marnix/aivd-kerstpuzzel-2020
marnix/experiment-zig-generator
marnix/mmpyparse
A quick experiment to demonstrate Metamath formula parsing, where the grammar is embedded in a few additional 'syntax axioms'.
marnix/aivd-kerstpuzzel-2021
marnix/aivd-kerstpuzzel-2022
marnix/eddsa-keyspec-bc-fips
Show an issue with bc-fips and EdDSA
marnix/enterprise-wc-examples
marnix/icfpcontest2022.github.io
marnix/jam0001
marnix/jira-userscript-load-all-and-sort
marnix/lang-metamath
Use Metamath through a Racket library and language, and DrRacket IDE support
marnix/megaparsack
Racket parser combinators inspired by parsack and megaparsec
marnix/metamath-knife
marnix/microzig
Unified abstraction layer and HAL for several microcontrollers (focus of this fork is STM32F3DISCOVERY board support)
marnix/microzig-roadmap
Central location for ZEG project management and brainstorming
marnix/mmpp
Metamath in C++
marnix/pytonal
Dabbling in music theory in Python
marnix/rattle
Forward build system with speculation and caching
marnix/regz
Generate zig code from ATDF or SVD files for microcontrollers.
marnix/stmicro-stm32
HAL for stm32 (STMicro) devices
marnix/svd4zig
Convert System View Description (svd) files to Zig headers for baremetal development
marnix/user-map
A second attempt on documenting where the ziguanas of the world live
marnix/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
marnix/zig-build-libxml2
The libxml2 library built and packaged for the Zig build system. These are not Zig language bindings to the library.
marnix/zig-ray-tracer-challenge-marnix
marnix/ziglang-zig-17882-repro