Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Repository Index
59,132 visible repositories in the index
961–984 of 1,115 · Most stars
An Ember addon for attaching debug logging to container-managed objects
Stacks-blockchain with API using docker compose
- blockchain
- hiro
- dns
- decentralized
Ice-cool 🧊 Remix + Directus starter template.
Create n-grams of wordlists based on words, characters, or charsets to use in offline password attacks and data analysis
- hashcat
- jtr
- mdxfind
- ngram
Starting a monolithic CRUD RESTful Web Service with Vert.x stack and postgreSQL
Self-hosted AI-assisted CTI-to-detection workbench for ATT&CK mapping, IOC/CVE intelligence, Threat Radar, malware triage, Attack Simulation, and SIEM validation.
as3 camera detection so you don't have to
The curated FsLab stack and public discussion board for all things FsLab.
IOS/MAC Denial-Of-Service [POC/EXPLOIT FOR MASSIVE ATTACK TO IOS/MAC IN NETWORK]
Stackable Screen/State Management for the LÖVE framework.
- lua
- love2d
- state-management
- screenmanager
Clean & simple Swift networking stack playground
- networking
- no-dependencies
- urlsession
- decodable
Serato DJ Pro 2026: Complete Standalone Setup with All Features Enabled
- automation
- developer-tools
- open-source
- python
a compact graph indexer stack for parity substrate, polkadot, kusama
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Minimal async captive portal for MicroPython (compatible with uasyncio v3/MicroPython 1.13+ as well as earlier versions)
- micropython
- captive-portal
Node-RED node to read and write to an InfluxDB v2 database.
- node-red
- node-red-contrib
- influxdb2
- stackhero
A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.
MultiSafe is a shared crypto wallet for managing Stacks (STX) and Bitcoin (BTC).
- stacks
- bitcoin
- stx
- btc
* NOTE: This is now a dead project and used for CI testing * A lightweight C API for MySQL servers
Ada Embedded Network Stack
Jamstack for Sitecore JSS using Next.js with Uniform SDK
A .NET port of the Tinkerpop Stack
TranslatedA real-time chat platform built with PocketBase and Vue3.
- pocketbase
- tanstack-query
- vue3
- tailwindcss