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
5,137–5,160 of 5,590 · Most stars
Extracts a single frame from a video.
- ffmpeg
- fluent-ffmpeg
- screenshot
Wrapper around ffprobe for getting info about media files.
- ffmpeg
- ffprobe
- fluent-ffmpeg
Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI workflow.
BuyWhere MCP server — search 300M+ products across US, Singapore & SEA via Model Context Protocol. Agents self-register a free key in one POST (no email): api.buywhere.ai/v1/auth/register?verify=false
Go-native browser automation via Chrome DevTools Protocol. No Node.js, no relay process, no external dependencies.
- browser-automation
- cdp
- chrome-devtools-protocol
- golang
A floating-window terminal session manager, offering elegant multi-terminal organization, live previews, and intuitive navigation with modern UI design. Manage, switch, and customize multiple terminals effortlessly.
Showcase your Telegram channels, groups, and bots with beautiful, dynamic preview cards. Perfect for GitHub profiles and portfolios. ✨
- developer-tool
- nextjs
- profile-badge
- profile-readme
Libraries and tools for working with transit data conforming to the VDV specification.
Snappy "cursor word" highlighting using modern mechanics for neovim
- document-highlight
- lsp
- neovim-plugin
- nvim-plugin
Elixir library for Conekta api calls
- elixir
- api-wrapper
- api-client
The repository host gives no description.
Live stream over ATProto
- atproto
- hls
- livestream
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
This plugin lets the user create models dynamically and attach them to a page type or page ID. Then when editing these pages new fields would be added.
Fiji/ImageJ macros to quickly add a scale bar to an (electron microscopy) image.
- imagej
- fiji
- electron-microscopy
- scalebar
AWS CDK Constructs to create SES templates and send templated emails
Java framework to write tests for your dApps and other smart contracts on Waves blockchain
- wavesplatform
- waves
- blockchain
- smart-contracts
Rails 8.1 API backend for NativeAppTemplate iOS/Android mobile applications
- api
- ruby-on-rails
- android
- boilerplate
Elixir NIFs for interacting with llama_cpp.rust managed GGUF models.
Inline review tool for MDXG markdown — capture highlighted comments and export them as structured JSON for LLM agents.
- annotations
- feedback
- human-in-the-loop
- inline-comments
Tools to support transit service analysis.
Stock price prediction using a deterministic algorithm inspired by LSTM, focusing on pattern recognition in historical data.
Tiny Trello Clone PWA Pursuing Simplicity