Overleaf CLI - pull, push, sync, compile LaTeX projects from your terminal. Git remote helper, MCP server for AI agents, and TypeScript library.
Repository Index
47,133 repositories indexed
433–456 of 815 · Most stars
PostgreSQL server wire protocol. Build your own server and start serving connections.
- postgresql
- postgres
- server
- sql
An any-snarf program that processes application protocols (HTTP/FTP/...) from tcpdump or snoop files and stores session and file data
Chrome DevTools java client.
- chrome-devtools
- devtools-protocol
- java
- java-client
OCaml debug adapter
- debugger
- debug-adapter-protocol
- ocaml
PETEP (PEnetration TEsting Proxy) is an open-source Java application for traffic analysis & modification using TCP/UDP proxies. PETEP is a useful tool for performing penetration tests of applications with various application protocols. ⚡
- proxy
- tcp
- tcp-proxy
- penetration-testing
Comprehensive wrapper and execution manager for the Chrome browser using the Chrome Debugging Protocol.
- chrome
- python
- chromium
- use-less-jerberscript
The Firebase module allows your Framer prototype to load, save and sync data effortlessly between multiple sessions and devices.
Working-draft Mail Action Protocol for agent actions through email, with type contracts, a registry, and a validation CLI.
HealthyPi is the first fully open-source, full-featured vital sign monitor. Using the Raspberry Pi as its computing and display platform, the HealthyPi add-on HAT turns the Raspberry Pi into a vital sign monitoring system.
Honeynet Project generic authenticated datafeed protocol
- hpfeeds
- python3
k6 extension to load test Apache Kafka with support for various serialization formats, SASL, TLS, compression, Schema Registry client and beyond
MariaDB MCP (Model Context Protocol) server implementation
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
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)
Interactive prototyping tools for your team.
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
Animal shelter & adoption management prototype — role-based workflows, rule-based listing, applicant ranking, audit trail.
DelphiGrpc is a Delphi implementation of the realtime and streaming gRPC protocol (http://grpc.io).
Federated link aggregator
- atproto
- atprotocol