Repository Index

Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.

• a2a
• a2a-mcp
• a2a-protocol
• a2a-server

cross-platform, cli app to perform various operations on string

• string
• transform
• cli-app
• cli

Subscribe to a MQTT topic or publish something quickly from the terminal

• mqtt
• mqtt-client
• mqtt-cli
• cli

Auto-complete matching pairs in the Fish command line

• fish
• commandline
• fish-plugin

commandline IP location finder

• cli
• nodejs
• tool
• fun

Go tool + library that publishes GIS vector data to GeoServer via PostGIS — walks a directory of shapefile / GeoJSON / GeoPackage / KML, loads each into PostGIS via GDAL/OGR, then registers the resulting tables as GeoServer feature types. Idempotent. Tested on GeoServer 2.27 LTS + 2.28 stable.

• gis
• postgis
• geoserver
• golang

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

• docker-image
• dockerfile
• opam
• coq

Command Line Utility for creating an Elm boilerplate project easy to run, build and get deployed