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

5,185–5,208 of 8,799 · Most stars

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

Drop-in replacement for the standard library errors package and github.com/pkg/errors

  • error
  • errors
  • stacktrace

A single-header, zero-allocation image filter library in C

  • image-filters
  • blur
  • color-matrix
  • grayscale

Native PC compatibility project for The Order: 1886 (PS4, CUSA00076). Windows launcher, Vulkan graphics. In development: 3D cinematics observed; gameplay validation ongoing. Uses your own dump; no game files included. | Projeto para PC em desenvolvimento; usa seu próprio dump.

Go package for sharding databases ( Supports every ORM or raw SQL )

  • go
  • golang
  • golang-library
  • database-sharding

An intuitive remotely-accessible system performance monitoring and task management tool for servers and headless Raspberry Pi setups.

On-device Vision Model - a fully offline, free vision pipeline that gives text-only models (e.g. DeepSeek) image understanding and multilingual OCR through an OpenAI-compatible local API. Only tokens are needed: no API key, no subscription, no cloud cost. Recommended for native speakers of Chinese, English, Japanese and Korean.