Mārtiņš Avots's repositories
commitlint
📓 Lint commit messages
Language:TypeScriptMIT000
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.
Language:OCamlLGPL-2.1000
git-repo-manager
A git tool to manage worktrees and integrate with GitHub and GitLab
Language:RustGPL-3.0000
mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
Language:RustMPL-2.0000
sway-ubuntu-build
Docker based sway build system for Ubuntu 20.04
Language:CMIT000
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.
Language:ShellGPL-3.0000