Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

16,561–16,584 of 20,291 · Most stars

Library of Raft consensus algorithm implemented in OCaml

  • ocaml
  • raft-consensus-algorithm
  • raft
  • consensus-algorithm

Local CI pipeline runner with parallel execution and Docker support.

  • werk
  • executor
  • parallel-jobs
  • task-runner

Self-hosted CMS that works human or headless: full admin UI plus REST and MCP APIs, built-in semantic search and site chat, and content forking, versioning, diff/merge review, templates, approvals, and static page generation.

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

A REST framework for quickly writing resource based services in Golang.