Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
47,133 repositories indexed
3,961–3,984 of 4,451 · Most stars
Dataset for NLG which contains preceding context along with each generation instance
Quantum-resistent asymmetric key generation tool for digital signatures.
- post-quantum-cryptography
- uov
- rainbow-scheme
- security-tools
This project contains an addon for the Homematic CCU2 or a Raspberrymatic device which acts as an check_mk_agent.
A generator to create new imba project faster.
- imba
- imba-cli
- gluegun
- start-imba
Serialize Canvas path commands to HPGL.
- hpgl
- d3
- pen-plotter
a compile time ini file parser and writter generator for D
FUlly Decoupled Generic Environment for Substrate-chains
Type-safe reactive state management for Go, inspired by Angular Signals. Zero allocations, thread-safe, production-ready.
- angular
- clean-architecture
- concurrency
- generics
general purpose utils for interacting with vert.x
Algorand QR Code generator is a JavaScript module that outputs an standard QR code (exportable to SVG file and text) from a JSON object. It works in terminal, NodeJS and modern browsers. Complies to Algorand ABNF Grammar.
Magento Tailwind Theme companion module
The new (and simple) admin generator for Symfony applications.
A static site generator with a different approach
- dssg
- static-site-generator
- dlang
- markdown
Golang Get Environment Variables Package with Zero Dependencies
- golang
- environment-variables
- env
- package
Data logistics system enabling real-time pathogen surveillance. Built for the Seattle Flu Study.
- postgres
- postgresql
- python
- infectious-disease
🐫Yeoman generator to scaffold OCaml modules.
Brew formula generator for common lisp projects
Xcode Source Editor Extension for 'Then'
- then
- xcode-source-editor-extension
- syntactic-sugar
The repository host gives no description.
Develop faster on Magento / Adobe Commerce with Mage Wizard
- adobe-commerce
- magento
- php
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
- agent-orchestration
- cli
- developer-tools
- llm-agents
🧭 Let your coding agent off the leash — not off the rails. Guardrails, a hard budget cap & a self-fixing PR loop for Claude Code / Codex / Gemini. Eval-gated 100/100, you always merge.