A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Repository Index
47,133 repositories indexed
4,345–4,368 of 6,396 · Most stars
Blazing fast GraphQL discovery & fingerprinting toolbox.
- discovery
- fingerprinting
- graphql
- graphql-tools
Persistent sorted maps and sets with log-time rank queries
A Cloudflare Worker that allows you to make secure requests to the Airtable API from your frontend.
- cloudflare
- airtable
- cloudflare-worker
- proxy
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
Turn the edges of your MacBook trackpad into volume and brightness sliders. Native macOS menu bar app with a Liquid Glass HUD, haptics and a media strip.
Automatic PostgreSQL CRUD queries
- sql
- jdbc
- clojure
HorneroConfig is a comprehensive dotfiles framework, tailored for seamless customization of diverse window management setups across various operating systems. Just like the skilled hornero bird meticulously shapes its nest, HorneroConfig empowers you to craft a digital environment that's robust, uniquely yours, and beautifully organized!
A anti-censorship HTTP proxy with builtin shadowsocks support.
- proxy
- http-proxy
- shadowsocks
- gfwlist
I tried quite a lot `Project Management` plugins. In the end, I found all I need is just an easier way to `cd` to another project directory.
TranslatedSimple Reviewer: a Codex skill for AI-assisted coding and Vibe Coding. Explain code, visualize workflows, and verify goals with evidence.
- ai-agents
- ai-assisted-coding
- code-explanation
- code-quality
Powerful dice Roller is used as discord bot, irc bot, cli tool and inside Rolisteam : 1d20+4, 1L[head,arm,leg,belly,chest], 1d6+1d8, 8+5*3
TranslatedSee which McDonald's benefits are about to expire, which are worth using, and which are not worth spending money on just because they are expiring. A WorkBuddy Skill built on the official McDonald's MCP: read-only queries of coupons and points, and, based on your budget, up to two meal plans priced through the official interface. McDonald's coupon & points expiry assistant — a WorkBuddy Skill on the official McDonald's MCP. Read-only queries, official price calculation, max 2 budget-friendly plans.
- ai-agent
- mcdonalds
- mcp
- model-context-protocol
Domain Driven Design, CQRS, & Event Sourcing Example using GetEventStore, CommonDomain, NServiceBus, Entity Framework, SQL Server, SignalR
Python bit pack/unpack package.
- python
Complete SQLite API translation and simple wrapper for Delphi and FreePascal
Control your Android phone with natural language. No computer required. Powered by Midscene, with Skills and a Codex plugin.
:whale: Keep an eye on your docker image size and prevent it from growing too big
- docker
- docker-images
- docker-linter
- python3
Spring Framework GraphQL Library
Aegis CrossMarket: cross-market desk for CS2 items — net-return math, currency conversion and quote polling in a native Rust shell.
- cs2
- desktop
- fees
- market-data
✔ [ SIOC ] Swastika I/O Core is an all in one platform (e.g CMS, eCommerce, Forum, Q&A, CRM...) ASP.NET Core / Dotnet Core System based on SIOH Framework.
- dot-net-core
- web-api-2
- signalr
- ms-sql-server
Auto-QChem is an automated workflow for the generation and storage of DFT calculations for organic molecules.
- cheminformatics
- dft-calculations
- automation
- feature
Elixir Adapter for EventStore
- eventstore
- elixir-lang
- cqrs
- erlang
Open-source Docker infrastructure platform. One web UI — containers, security, DNS, VPN, monitoring, backups, reverse proxy, terminal, and multi-node orchestration. Replace a dozen tools with one.
- agplv3
- docker
- docker-container
- docker-deployment