Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Repository Index
47,133 repositories indexed
1,705–1,728 of 1,835 · Most stars
Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI workflow.
Go-native browser automation via Chrome DevTools Protocol. No Node.js, no relay process, no external dependencies.
- browser-automation
- cdp
- chrome-devtools-protocol
- golang
Libraries and tools for working with transit data conforming to the VDV specification.
Go package for IP2Location.io. Fetch geolocation and proxy data for an IP address, or query WHOIS details for a domain. Integrate an IP geolocation API into Golang backends, microservices and command-line tools. Enrich IPv4 and IPv6 traffic with location intelligence and network details for analytics and security use cases.
- domain-lookup
- golang
- ip-geolocation
- ip2location
Fiji/ImageJ macros to quickly add a scale bar to an (electron microscopy) image.
- imagej
- fiji
- electron-microscopy
- scalebar
Java framework to write tests for your dApps and other smart contracts on Waves blockchain
- wavesplatform
- waves
- blockchain
- smart-contracts
Tools to support transit service analysis.
Evaluation of packer type estimation/detection tools
Claude Code plugin for visual docs — annotated screenshots, feature demos, flow walkthrough recordings (gif/mp4), terminal captures and before/after composites, one command each. Self-contained Chromium, self-validated output, no MCP.
- annotation
- claude-code-plugin
- demo-recording
- screenshot
mrQA: tools for quality assurance in medical imaging datasets, including protocol compliance
- qa
- mri
- neuroimaging
- niqc
Interact with the component parts of an Excel file
A set of C# libraries for streamlined microservice development: audit, caching, outbox, CAP, MassTransit (events & config), idempotency, specifications, security, and other useful utilities. Packages: https://www.nuget.org/profiles/dex
- at-least-once
- audit
- cache-control
- cap
📊 Showcase your open source contributions with beautiful SVG tables. Display your merged PRs from prestigious projects.
- api
- badges
- contributions
- developer-tools
CalmAV wrapper for elixir
- clamav
- elixir
- antivirus
- malware-detection
The open-source map of the AI developer tooling ecosystem
Compare and analyze PostgreSQL EXPLAIN plans from the CLI
Real-time GTFS database loader and ORM library.
A small set of sources and tools for the Gameboy Development Kit by Michael Hope
Type-safe HTML template rendering engine for Go with generics, compile-time validation and go-generate support
- code-generator
- compile-time
- developer-tools
- generics
🛡️ Static security scanner (SAST) for Ansible playbooks, roles, and collections. 1,000+ rules across 30+ categories detecting malicious code, RCE, hardcoded credentials, and supply-chain risk. Outputs SARIF, CycloneDX SBOM, and GitLab SAST. SLSA Build Level 3, Sigstore-signed.
- ansible
- ansible-playbook
- devsecops
- infrastructure-as-code
A toolkit combining Solidity testing and cross-chain deployment tools with Robot Framework. Also some basic components for monitoring EVM compatible blockchains.
- robotframework
- solidity
- blockchain
- cryptocurrency
A set of utilities for manipulating text, with a focus on providing typographic tools rather than pure string manipulation.
ESP32 433Mhz Receiver written in micropython and Tools for Windows
- esp32
- micropython
- openhab
- 433mhz