Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Repository Index
47,133 repositories indexed
337–360 of 602 · Most stars
Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20
- protobuf
- cpp
- serialization
- template
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
DelphiGrpc is a Delphi implementation of the realtime and streaming gRPC protocol (http://grpc.io).
Federated link aggregator
- atproto
- atprotocol
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
Pass the baton from Claude Code or Codex to a local DeepSeek Harness. An MCP server that hands off tasks and brings the result back.
A durable task queue for PostgreSQL, with TypeScript, Python, Go, Rust, Ruby, Java, Kotlin, and C# workers on one SQL protocol.
Native Windows Bash for AI coding agents. Run Claude Code, Codex, opencode & Gemini CLI without Git Bash, MSYS2 or WSL. Built in Rust, with MCP support.
- ai-agents
- bash
- bash-interpreter
- claude-code
PocketStrike is a privacy-first mobile AI workstation. It combines zero-cloud native on-device GGUF inference (ARM NEON accelerated) │ with frontier cloud LLMs, multi-step ReAct agent tools, Model Context Protocol (MCP) servers, self-evolving cross-session memory, and FLUX neural image │ generation.
TypeScript RPC (Remote Procedure Call) for WebSocket and Worker protocols
- grid-computing
- remote-function-call
- network
- thread
tcpack is an application protocol based on TCP to Pack and Unpack bytes stream in go program.
- go
- tcp
- golang
- golang-examples
Eventually consistent distributed in-memory cache Go library
- gossip-protocol
- cache
- lru-cache
- in-memory-caching