Repository Index

Overleaf CLI - pull, push, sync, compile LaTeX projects from your terminal. Git remote helper, MCP server for AI agents, and TypeScript library.

• academic-writing
• cli
• latex
• nodejs

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

PowerToys Run plugin which will convert real and crypto currencies.

• currency-conversion
• powertoys
• powertoys-run
• powertoys-run-plugin

Chrome DevTools java client.

• chrome-devtools
• devtools-protocol
• java
• java-client

Simple flash file for recording audio and saving as a WAV

A library and microservice implementing the health and care terminology SNOMED CT with support for cross-maps, inference, fast full-text search, autocompletion, compositional grammar and the expression constraint language.

• terminology
• snomed-ct
• snomed
• terminology-server

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

Batch backtest, import and strategy params optimalization for Gekko Trading Bot. With one command you will run any number of backtests.

• gekko
• backtesting-trading-strategies
• gekko-backtesttool
• backtest

This module disables the inventory reservation logic introduced as part of MSI in Magento 2.3.3

Comprehensive wrapper and execution manager for the Chrome browser using the Chrome Debugging Protocol.

• chrome
• python
• chromium
• use-less-jerberscript

AthenaCLI is a CLI tool for AWS Athena service that can do auto-completion and syntax highlighting.

• aws-cli
• athena-cli
• aws-athena
• python

Working-draft Mail Action Protocol for agent actions through email, with type contracts, a registry, and a validation CLI.

• agents
• astro
• email
• json-schema

Persistent, simple, powerful and portable autocomplete library

• searching
• dotnetcore
• portable
• autocomplete

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.

Generative Fill, Remove object, Generative Expand and Text to Image for PhotoCraft and GIMP 3. Free, local, on your own GPU through ComfyUI.

• generative-ai
• gimp-3
• gimp-plugin
• photo-editing

Honeynet Project generic authenticated datafeed protocol

• hpfeeds
• python3

⚡A curated list of awesome resources related to the Ⱥlgorand Blockchain ⛓

• awesome
• awesome-list
• algorand
• algorand-blockchain

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

Clojure support for Visual Studio Code

• clojure
• vscode
• nrepl
• autocomplete

Translated研迹 Trail (Yanji, "research trail"): a local-first AI investment research workbench. Connects market quotes, candlestick charts, and deep research, so that judgments are traceable and risks can be reviewed. Local-first AI investment research desktop with an evidence-grounded copilot.

• ai-agent
• electron
• financial-analysis
• local-first