An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Repository Index
47,133 repositories indexed
5,641–5,664 of 8,961 · Most stars
Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
Fast and storage-efficient spatial database engine for OpenStreetMap data
Plugins and mods that make Claude Code better: work with the local Codex CLI, watch the prompt cache, preview pasted images.
- claude-code
- claude-code-plugin
- codex
- plugin-marketplace
sqlgen is a reflection-based ORM and SQL query generator for C++-20, similar to Python's SQLAlchemy/SQLModel or Rust's Diesel.
PyTorch Connectomics: segmentation toolbox for EM connectomics
- computer-vision
- neuroscience
- connectomics
- pytorch
An entity and spell system c++ godot engine module, for complex (optionally multiplayer) RPGs.
- godot
- engine-module
- multiplayer
- entities
Resident Evil Code: Veronica X HD - PS3 static recompilation port (hobby, no game data)
Command line tool to log all MongoDB queries in a "tail"able way
A curated list of apps, launchers, homebrew repositories, rooting tools, guides, and resources for webOS TVs.
- awesome
- awesome-list
- lg-tv
- webos
S3 client library for Clojure
Bitemporal AI memory system: six-variable decay, time-graded recall, TTL expiry, dedupe, competitive retrieval (Neo4j + PostgreSQL + Redis)
- agent-memory
- ai
- bitemporal
- graphiti
Hierarchical Convolutional Features for Visual Tracking (ICCV 2015)
Cross-platform clone of the FRC Driver Station
- frc
- robotics
- networking
- control-systems
Zero-dependency MCP server for the Moodle Web Service API — read-only course, assignment, quiz, deadline and file tools for Claude, Cursor and any MCP client. Actively maintained · v1.4.0 · 10 tools · docs in 10 languages.
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Rolisteam is a virtual tabletop. It helps you to manage tabletop role playing games with remote friends/players. It provides many features to share maps, pictures, dice roller, manage background music and much more. The main git repository is available here: [https://invent.kde.org/kde/rolisteam].
- rpg
- jdr
- rpg-tool
- c-plus-plus
CMake scripts for building OpenSceneGraph third party libraries.
📜 A CLI toolkit for extracting and working with your digital history
- chronicle
- chronicle-etl
- personal-data
- etl
Components for interactive scientific writing, reactive documents and explorable explanations.
- webcomponents
- writing
- explorable-explanations
- exploratory-data-visualizations
A free cartoon browser game about how the internet really works: lay fiber and subsea cables, peer at IXPs, bill on the 95th percentile and survive backhoes, sharks and route leaks on your way to Tier 1.
- bgp
- educational
- game
- internet
Logic programming in Swift
- swift
- kanren
- logic-programming
- solver
A library for performing and validating complex filters from a client (e.g. smart filters)
- filter
- parsing
- comparator
- parsing-filters
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs