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
14,353–14,376 of 18,249 · Most stars
Selenium WebDriver Page Test / workflow recorder (successor to SWD recorder)
Conditional promise catch handler
A DSL in Clojure for SQL query, DML, and DDL. Supports a majority of MySQL's statements.
Unified Object base Dynamic Query for Sql, MongoDb, Elasticsearch with Auto Join, Auto Projection and so many advanced feature.
- jpa
- jpa-criteria-api
- jpa-hibernate
- spring-data-jpa
A small, very flexible, powerful CI system. Works offline and is configured in Python.
- gitea
- offline
- cicd
- self-hosted
The repository host gives no description.
Test harness for voice agents. Import from Retell, VAPI, Bland, LiveKit. Run autonomous simulations. Evaluate with LLM judges.
- bland
- dspy
- livekit
- llm
:shaved_ice: Shave some bytes by using Preact.
- preact
- codemod
- jscodeshift
- transpiler
Xonsh Jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporie, etc.
- xonsh
- xontrib
- jupyter
- jupyter-notebook
Rule Processor Y is a next-gen Rule processor with complex multibyte character support built to support Hashcat
- cybersecurity
- hashcat
- hashcat-rules
- johntheripper
An ember-data compatible ember-cli addon that provides a HAL adapter
The complete toolkit for building AI agents in JavaScript. Lightweight core, React & Terminal UIs, autonomous runtime, tools, skills, memory, RAG and observability. Plug-and-play from chat UI to full agents.
Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.✨
Command line for your projects
- cli-framework
- task-runner
- ruby
- ruby-cli
A collection of small projects that show possible ways of handling game logic with BabylonJS
Keep your translations in line - with Preact!
Advanced 3D audio features for libGDX desktop users.
Real-time secret-leak guardrails for AI coding agents (Claude Code, Codex), Git hooks, and CI.
Sample datacards, shapefiles, and other files you can use for testing
Logging and crash handling system for GameMaker
- crash
- crash-reporting
- gamemaker
- gamemaker-studio-2
Small running game done as 1 hour challenge
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
Better JSON::Any for Crystal
- crystal
- hash
- json
- yaml