Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Repository Index
61,275 visible repositories in the index
7,609–7,632 of 9,040 · Most stars
brute force SSH public-key authentication
- ssh
- penetration-testing
- remote-admin-tool
- ssh-key
Source code for cross-platform OpenGL gaming engine
- warsow
A collection of resources covering different aspects of Gatling load testing tool usage.
- gatling
- gatling-plugin
- awesome-gatling
- awesome
Programmatic lua library for setting base16 themes in Neovim.
Start gRPC microservice from YAML, plugin of rk-boot
Meta-configurations for repositories, teams, files in terraform-aws-modules organization 🇺🇦
- terraform-managed
- terraform-configurations
- terraform-github
- open-source-tooling
Validação,Formatação e Gerador Cpf/Cnpj em Elixir
A curated list of awesome Qlik extensions and resources for Qlik Sense and QlikView
- qlik
- qlik-sense
- qlik-extension
- qlik-sense-extension
Exercism exercises in Crystal.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Go Client for the Unsplash API
- api-client
- golang
- golang-library
- go
Salesforce Formula Parser implemented in ES2017. Live demo at
AI-powered platform for OSINT intelligence analysis. Features archive discovery with hypothesis-driven investigation, GLiNER entity extraction, Mapbox geospatial visualization, network analysis, and document processing. Built with FastAPI, Next.js, Weaviate, and DSPy.
- ai-agents
- document-processing
- dspy
- entity-extraction
All Your GitHub repos and more in Neovim 🐙🛠️
Open Quartermaster is an open source inventory management system, designed to be simple to use yet powerful and extendable. The last inventory management system you will ever need!
- inventory-management
R and C++11
A curated list of awesome Corda resources
- awesome-list
- corda
- cordapp
Extracts translatable strings from source. Identical to xgettext but for template languages.
Quickly and easily preview and test your Magento 2 order confirmation page, without hacks or spending time placing new order each time
- magento2
- magento2-module
- magento-2
- magento-extension
A plugin to handle huge amount of grass, foliages and other vegetations for Godot Game Engine
micropython flight controller
MERK is an open source, cross-platform, multiple-document interface GUI IRC client for Windows, Linux, and macOS written in Python, PyQt5, and Twisted.
- python3
- pyqt5
- gplv3
- irc-client
System resource monitor for macOS menubar
Search the web and primary sources, read full pages, and check every citation. MCP server for Claude, Cursor, Codex and more. Runs on your machine.