Popular repositories Loading

1. sway-ubuntu-build sway-ubuntu-build Public

   Forked from luispabon/sway-ubuntu-deb-build

   Docker based sway build system for Ubuntu 20.04

   C

2. coq coq Public

   Forked from rocq-prover/rocq

   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 develo…

   OCaml

3. trackdown trackdown Public

   Forked from mgoellnitz/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 distri…

   Shell

4. commitlint commitlint Public

   Forked from conventional-changelog/commitlint

   📓 Lint commit messages

   TypeScript

5. git-repo-manager git-repo-manager Public

   Forked from hakoerber/git-repo-manager

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

   Rust

6. mdBook mdBook Public

   Forked from rust-lang/mdBook

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

   Rust