Bot18 is a high-frequency cryptocurrency trading bot developed by Zenbot creator @carlos8f
- bitcoin
- btc
- ltc
- litecoin
Repository Index
47,133 repositories indexed
553–576 of 952 · Most stars
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Sippy B2BUA is a RFC3261-compliant Session Initiation Protocol (SIP) stack and Back-to-back user agent (B2BUA) server software.
An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)
Implementation of RAFT consensus in .NET core
- raft-consensus-algorithm
- raft
- raft-protocol
- raft-algorithm
CRAB (Clean Rebuild of Anything's Behavior): rebuild software from behavior, not source code. An MCP-powered toolkit for black-box observation, clean-room reimplementation, and behavioral verification.
- clean-room-reimplementation
- ai-agents
- behavioral-testing
- black-box-testing
:octocat: Search wiki of the repository on Github
- github
- userscript
- chrome
:octocat: GitHub Action to compile LaTeX documents
- latex
- github-actions-docker
- github-actions
- github-action
IDE Helper plugin for CakePHP
- cakephp
- cakephp-plugin
- ide-helper
- typehinting
An Android recovery written in Rust from scratch: decryption, installs and OTA updates, backup, WLAN, MTP, adb and fastbootd. Runs the phone's own drivers and services from its stock firmware.
- adb
- android
- android-recovery
- custom-recovery
DelphiGrpc is a Delphi implementation of the realtime and streaming gRPC protocol (http://grpc.io).
Federated link aggregator
- atproto
- atprotocol
Do stock correlations predict the market? 66 pre-registered tests, the data, and a triple pendulum that explains why not. If you have an idea you want me to try, submit it as a PR and I will test it and get back to you.
Xcode 8 Source Code Extension will generate conformance to Swift Equatable protocol based on type and fields selection.
- xcode
- extension
- swift-equatable
- xcode-plugin
The World's Most Comprehensive, Authoritative, and Structured Open Source Data Source Knowledge Base
- mcp
- data-sources
- ai
- awesome-list
luamqtt - Pure-lua MQTT v3.1.1 and v5.0 client
- lua
- mqtt
- mqtt-client
- luasec
MQTT protocol library for Rust
Chrome Devtools Protocol client for PHP
- chrome
- chrome-devtools
- chrome-devtools-protocol
- headless-chrome
A camera proxy for Reolink: pulls video over Reolink's own protocol and serves RTSP and HTTP for Frigate, go2rtc or any NVR. No ffmpeg in the serving path.
- baichuan
- frigate
- go2rtc
- home-assistant
Build real-time Blazor and MAUI apps while writing just 0.1% of the usual real-time update code. Handle 10× more API requests with the ActualLab.Rpc protocol—or 1000× more with Fusion’s transparent and perfectly coherent caching.
Use anacrolix/go-libutp instead
- utp
- go
- bittorrent
- transport-protocol
svelte support for (Neo)Vim
hiboot is a high performance web and cli application framework with dependency injection support
- golang
- web
- webapp
- ioc
Make AI output sound human. Strips AI-isms (sycophancy, stock vocab, hedging stacks, em-dash pileups), preserves code/URLs/headings. Plugin for Claude Code, Cursor, Windsurf, Codex, Cline, Copilot, Gemini.
- ai-detection
- ai-plugin
- anti-slop
- claude-code