Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Repository Index
47,133 repositories indexed
9,169–9,192 of 11,041 · Most stars
Selenium WebDriver Page Test / workflow recorder (successor to SWD recorder)
Pragmatic, logical and monochrome theme for Neovim.
A small, very flexible, powerful CI system. Works offline and is configured in Python.
- gitea
- offline
- cicd
- self-hosted
Test harness for voice agents. Import from Retell, VAPI, Bland, LiveKit. Run autonomous simulations. Evaluate with LLM judges.
- bland
- dspy
- livekit
- llm
A lightweight Neovim Version & Config Manager CLI tool to install, switch, list, uninstall, and reset Neovim versions.
Tool for segmentation in bioimaging
- napari
- bioimage-analysis
VS Code Firestore Rules Extension
- firebase
- visual-studio
- vscode-extension
- vscode-language
Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.✨
Helper functions and socket classes to perform TLS communication by means of WinAPI (SChannel)
- tls
- delphi
- schannel
- winapi
A Drag and Drop module for Framer CLASSIC.
Real-time secret-leak guardrails for AI coding agents (Claude Code, Codex), Git hooks, and CI.
Logging and crash handling system for GameMaker
- crash
- crash-reporting
- gamemaker
- gamemaker-studio-2
Elixir error messages to make the errors within the system easier to expect and predict, as well as read
Turn CSV, Excel, and read-only databases into verified, editable business reports.
- data-visualization
- self-hosted
- sql
- text-to-sql
hypermatch is a high-performance ⚡ Go library designed for rapid matching of a large number of rules to events. It processes thousands of events per second 🚀 against extensive rule sets in-memory with minimal latency ⏱️.
- go
- golang
- matching
- matching-engine
An extension that adds an "edit tags" button to every object on osm.org
Pascal formatter extension for Visual Studio Code
Generate OpenAPI 3.1 specs from Go source code via static analysis — zero annotations, automatic framework detection
Container-focused Golang config: unify Env & Flag parsing in one call with minimal code and zero dependencies.
- cli
- command-line
- config
- configuration
Automatic command-line mp3/ogg/flac file tagger and renamer
- audio-tag
- rename
- mp3
- flac
Agentic LLM CTF to test prompt injection attacks and preventions
Downloads JMeter and JMeter plugins and demonstrates usage via examples. Suggested to be used as a git submodule
Common Interface to ISO Prolog implementations from Common Lisp