marnix Goto Github PK

aivd-kerstpuzzel-2020

aivd-kerstpuzzel-2021

aivd-kerstpuzzel-2022

apt-source-safelist

Safelist of apt sources approved for build environments with restricted sudo

aws-signing-request-interceptor

Request Interceptor for Apache Client that signs the request for AWS

choosealicense.com

A site to provide non-judgmental guidance on choosing a license for your open source project

designthis

No code, just a Wiki with my design ideas

enterprise-wc-examples

eventstore

Yet another event storage for event sourcing.

experiment-zig-generator

fuse-jna

A Java library providing JNA bindings to FUSE. Should work on both Linux and OS X.

icfp-www

ICFP web page

icfpcontest2022.github.io

idris-dev

A Dependently Typed Functional Programming Language

jam0001

jira-userscript-load-all-and-sort

lang-metamath

Use Metamath through a Racket library and language, and DrRacket IDE support

lazy-panic.rs

Provides lazy utilities to lazily set custom panic hook

maven-xtext-example

An Xtext language and example usage of it built with Maven

megaparsack

Racket parser combinators inspired by parsack and megaparsec

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

metamath-knife

metamath-test

Test metamath verification implementations

metamath.vim

Metamath syntax highlighting for Vim, and more.

microzig

Unified abstraction layer and HAL for several microcontrollers (focus of this fork is STM32F3DISCOVERY board support)

microzig-roadmap

Central location for ZEG project management and brainstorming

mmgh

Some Racket code to work with Metamath and Ghilbert files and proofs

mmm

Little Theories for Metamath: specification (and perhaps toy implementation) of a Metamath module system

mmpp

Metamath in C++