A generic goal preprocessing tool for proof automation tactics in Coq
Repository Index
55,640 visible repositories in the index
2,449–2,472 of 2,696 · Most stars
Strongly typed Razor Page Route Generator (also works with Blazor)
Generate conventional commit messages using AI, directly in Neovim
- ai
- conventional-commits
- developer-tools
- git
Generate inteligent customisable markdown TOC with affordances for emojis and relative file paths.
Algo Vanity is a web-based tool for generating Algorand vanity addresses.
A collection of general utility and mathematical functions for GameMaker Studio 2 (Version 2.3).
gogiven - BDD testing framework for go that generates readable output directly from source code
General Caching Facility for Common Lisp
Generate realistic IoT test data and send it via MQTT, HTTP, or TCP.
- cli
- data
- data-generation
- data-generator
Next Generation Stamp Web Editor written in Aurelio.io with Bootstrap
Generate random strings for IDs or keys using property annotations
Automagically generate Karate API tests from your GraphQL schemas. Useful for test-driven development, change validation in CI/CD, and more.
- graphql
- graphql-schema
- graphql-server
- karate
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
The Corporate Bullshit Generator
- ada
- fun
- text-generation
- ada-language
Generate test data from SQL files before testing and clear it after finished.
- golang
- testing
Crystal binding generator for raw SDL 3 methods
- binding-generator
- bindings
- sdl
- sdl3
An Ada Library for UUID generation.
- uuid
Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection
- esp32
- face-detection
- imagenet-classifier
- micropython
A Lorem Ipsum Generator Plugin for PowerToys Run
- lorem-ipsum
- lorem-ipsum-generator
- powertoys
- powertoys-run
Elixir GTIN & UPC Generation and Validation Library
- elixir
- upc
- gtin
- gtin-codes
Generate Go enum encoding
- code-generation
- enum
- encoding
- json
Command to generate a route map of your Ember application.
Genetic Drift - Github Game-off 2012 submission
Very simple MicroPython module to use a generic 64Mbit PSRAM (ie Adafruit 4677) with a Raspberry Pi Pico (RP2040)
- psram
- spi
- raspberry-pi-pico
- micropython