Run your coding agents from Telegram. A bridge for Claude Code, Codex, OpenCode, Pi and Antigravity CLI: send tasks by text or voice, watch them work and approve changes from your phone.
- ai-agents
- claude-code
- cli-tools
- codex
Repository Index
47,133 repositories indexed
169–192 of 251 · Most stars
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Improved Go Syntax (transpiler)
- go
- golang
GC little helper II - Some little things to make life easy (on www.geocaching.com). Powerful, configurable tool to improve and expand the geocaching pages.
- geocachen
- geocaching
- cachen
- gclh
Open standard for Provenance & Intent Contracts (PIC) in AI agents. Verify intent, provenance, and evidence before high-impact tool calls.
- action-proposals
- agentic-ai
- agents
- ai
CityCoins give communities the power to improve and program their cities.
Library add improve test log for RSpec and WebMock, validate its according to API Blueprint and Open API, show the documentation coverage with log.
- api-blueprint
- rspec
- drafter
- json-schema
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
A Roslyn analyzer to improve the experience when working with nullable reference types.
Add search abilities
The repository host gives no description.
Foundational Cryptography Framework for machine-checked proofs of cryptography.
A PostgreSQL assistant for developers Understand, optimize, and improve your PostgreSQL database with ease.
- design
- llm
- performance
- postgresql
Simple, improved, and extensible Markdown note taking.
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Relation algebra library for Coq
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
a wordpress plugin that improves wpgraphql usage together with wpml
- wpml
- wordpress
- wordpress-plugin
- wpgraphql-plugin
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Library to create Coq record update functions
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Improve default f/t hop abilities
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers