Discovery peers in a distributed system using regular dns and multicast dns.
Repository Index
58,632 visible repositories in the index
913–936 of 1,342 · Most stars
Fast Math Library for Delphi
- delphi-rtl
- delphi-fastmath
- fastmath
- overloaded-operators
Whole-body motion tracking for the Unitree G1 in under 3 minutes on average on one GPU: return 0.82 with 0/40 clips failed, held from 2.74 min (mean of 15 seeds, range 2.21-3.61, fine checkpoints), 11.87 it/s (world model + Muon + overlapped CUDA streams, mjlab)
- humanoid
- robot-learning
- supermimic
- world-model
PolyTutor overview of Polymarket trading bots: strategy guides (copy trading, market making, dump-hedge, last-seconds, sports), case studies, and engineering notes. Smart trading. Real edge.
- documentation
- polymarket
- polytutor
- prediction-markets
An intuitive app to display transparent images on screen.
A Python package for molecular docking with an extensive, highly-curated dataset and a set of realistic benchmark tasks for drug discovery.
SpecPilot: Autonomous Algorithm Discovery and Systems Optimization for Speculative Decoding
A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
The World's Most Comprehensive, Authoritative, and Structured Open Source Data Source Knowledge Base
- mcp
- data-sources
- ai
- awesome-list
A neovim plugin to display lsp hover documentation in a side panel.
- neovim
- neovim-plugin
- nvim
- nvim-lsp
The easiest way to share and manage your Git, Mercurial and Subversion repositories over http.
- git
- mercurial
- hg
- subversion
Agent skill that sets up a headless Mac, Linux or Windows machine over SSH, step by step, without ever seeing the admin password.
Cloud-native continuous backup for PostgreSQL - WAL/base-backup streaming, compression, encryption, retention, and monitoring in a single binary.
- backup
- cloud-native
- golang
- postgresql
🤖 Compare your base branch to a pull request and run plugins over it to view differences
Low interaction honeypot designed for Android Debug Bridge over TCP/IP
Debloat an Android TV, replace its home screen with a clean Apple TV style launcher, and add a fast Indian live TV app. Reversible, over Wi-Fi ADB.
Know the risk of merging a pull request, and where it lives. Free, open-source CLI and GitHub Action: after your AI review, farol shows the riskiest files, what they reach, diff coverage and contract breaks. TypeScript/React, Go, Python.
- ai-code-review
- cli
- code-review
- developer-tools
Pokémon Red/Blue overhauled with full GBC support. Made by FroggestSpirit, Drenn, and dannye. Also check out the crysaudio branch.
ChemML is a machine learning and informatics program suite for the chemical and materials sciences.
- quantum-mechanics
- materials-informatics
- data-science
- machine-learning
SIPGREP: Display and Troubleshoot SIP signaling over IP networks in console
A tool for tracing Lua script execution and analysing time profiles and coverage
RSpec Tracer is a specs dependency analyzer, flaky tests detector, tests accelerator, and coverage reporter tool.
Cover your Mac's screen with a hotkey while AI agents keep running, even with the lid closed. The covered screen glows when Claude Code, Codex or Gemini needs you. Touch ID unlock.
Professional BIP-39 Seed & HD Wallet Toolkit with 12–24 word mnemonics, checksum validation, BIP-44/49/84 derivation, and multi-chain support (BTC, ETH, SOL, LTC, DOGE, ADA, DOT, AVAX, ATOM, XRP, TRX). Features offline CSPRNG, PBKDF2-HMAC-SHA512, AES-256-GCM encryption, wallet recovery, CSV/JSON export, and custom derivation paths.
- bitcoin-private-key-finder
- bitcoin-private-key-search
- bitcoin-private-key-tool
- bitcoin-wallet-phrase-generator