martins-1992

flatbuffers

FlatBuffers: Memory Efficient Serialization Library

commitlint

📓 Lint commit messages

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

git-repo-manager

A git tool to manage worktrees and integrate with GitHub and GitLab

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

sway-ubuntu-build

Docker based sway build system for Ubuntu 20.04

trackdown

TrackDown - Issue Tracking with plain Markdown. If you are missing the "git clone" for your tickets from github.com or bitbucket.org, then this is for you. A lightweight Ticketing System for distributed and unconnected small Teams.

aero.minova.cas

Service for Accessing SQL-Servers and Filesystems via JSON Abrechnung={MIN/INTERN-MIN/CORE/ZPROGRAM}

aero.minova.rcp

Der Standard RCP Fatclient von MINOVA Abrechnung={MIN/Intern-MIN/CORE/ZPROGRAM}

net.splitcells.network

martins-1992/commitlint

📓 Lint commit messages

martins-1992/coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

martins-1992/git-repo-manager

A git tool to manage worktrees and integrate with GitHub and GitLab

martins-1992/mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

martins-1992/sway-ubuntu-build

Docker based sway build system for Ubuntu 20.04

martins-1992/trackdown

TrackDown - Issue Tracking with plain Markdown. If you are missing the "git clone" for your tickets from github.com or bitbucket.org, then this is for you. A lightweight Ticketing System for distributed and unconnected small Teams.