Repository Index

CUID generator for OCaml. :id: :camel: :1234: :gear:

• cuid
• ocaml

An Elixir implementation of generic n-ary tree data structure

TaracotJS Instance Generator

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

A generic goal preprocessing tool for proof automation tactics in Coq

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.

• github
• markdown
• neovim
• neovim-plugin

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).

• game-development
• mathematics

gogiven - BDD testing framework for go that generates readable output directly from source code

• bdd
• specification
• spec
• html

The application allows you to trade on the outcomes of events, and follow the odds to garner accurate insights about the future. Users buy or sell Voting Shares, which can be redeemed for 1 unit of the stable asset if the outcome is resolved as correct, and become worthless if it’s incorrect.

• algorand
• defi
• pyteal
• python

YAML-based Dependency Injection container for GO

• dependency-injection
• dependency-injection-container
• go
• golang

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

Logic and scripting engine for smart home automation, based around MQTT

Devise based authentication extension for Refinery CMS

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