Information on joining the government community — a collaborative community for sharing best practices in furtherance of open source, open data, and open government efforts.
- government
- best-practices
- community
- peer-group
Repository Index
57,138 visible repositories in the index
73–93 of 93 · Most stars
The World's Most Comprehensive, Authoritative, and Structured Open Source Data Source Knowledge Base
- mcp
- data-sources
- ai
- awesome-list
Open field guide to 39 CAPTCHA types: identification signals, free and open-source bypass methods, and paid alternatives. Includes a searchable web version.
- captcha
- captcha-bypass
- captcha-solver
- captcha-tool
A curated list of Omarchy themes. Discover, share, and contribute to a growing collection of themes for Omarchy—all in one place. Inspired by other awesome lists, this repository helps users explore and enhance their Omarchy experience with beautiful, community-driven themes.
Modeling and Proving in Computational Type Theory
A collection of resources covering different aspects of Locust load testing tool usage.
- locust
- locustio
- awesome
- awesome-list
We would like to maintain a list of resources which aim to solve molecular docking and other closely related tasks.
- ai-aided-drug-discovery
- awesome
- drug-discovery
- molecular-docking
A collection of resources covering different aspects of Gatling load testing tool usage.
- gatling
- gatling-plugin
- awesome-gatling
- awesome
A comprehensive SQL syntax cheat sheet for quick reference, covering essential commands, functions, operators, and concepts across various database systems.
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
☝️ go-graphql subscription over Kafka/Redis/NSQ example
A curated, opinionated collection of tools and resources dedicated to Performance Engineering, covering both Observability and Performance Testing.
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
JSON-stat GitHub Repository
- jsonstat
- stats
- nsi
- government
A collection of resources covering all aspects of Tsung usage for load testing.
- tsung
- tsung-plugin
- load-testing
- awesome
proof script associated to tutorial material
A feature-packed, ready-to-use CMake template with testing, static and dynamic checks, coverage reports, and a tutorial.
Visual Studio Solution Starter Kit to download and base any Content Hub Development on. It supports Intellisense, Sync, Debugging and Unit-Testing e.g. for Content Hub Scripts and Azure Functions. It also stores External Page Components. Overall it provides guidance on how to best structure a Visual Studio Solution for Content Hub Projects and therefore accelerates Customers and Partners.
The repository host gives no description.
- lecture
- floating-point
- coq-formalization
- ieee-754
Reimplementation of Natural Number Game in Coq
Basic Vert.x service to generate html from markdown over the event bus