Repository Index

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

• coq
• mustache-templates
• continuous-integration

Web UI for Impala

• node-impala
• web-ui
• impala
• react

Simple REPL extension for vorpal.js

Tour users through your Vorpal app

Svelte component for showing speedometer like gauge using d3

Fast, reliable, free, and open-source palette swapper for GameMaker Studio 2.

Wardley mapping palette for yed

Tiny Trello Clone PWA Pursuing Simplicity

• kanban
• preact
• trello
• pwa

♟︎ Update a pinned gist to contain your Chess.com Blitz, Bullet, Rapid, Puzzles & Daily Ratings

• chess
• rating
• pinned-gist

Demos-in-a-box for Gemini CLI

Little example of how to create a bot for Telegram

• telegram
• bot
• python
• micropython

An ES2015 implementation of the grep command.

An ES2015 implementation of the "less" command.

A simple logging utility for vorpal.

D3 implementation of human-friendly HSL

• d3
• hsluv
• rgb
• color

Graph the benchmark output of Substrate Pallets.

The repository host gives no description.

The PayPal Server SDK provides integration access to the PayPal REST APIs.

• api-integration
• checkout
• orders
• payments

.rc file support for Vorpal.js

Establishes live importing of vorpal extensions

A lightweight Python package for teaching computational methods through art history. Extract and analyze artist-specific works from WikiArt with built-in visualizations. Designed for digital humanities and computational design courses. Features genre/style analysis, matplotlib integration, and pedagogical clarity over algorithmic complexity.

• art-history
• color-analysis
• color-extraction
• color-palette

:game_die: Progressive tic tac toe game, made with choo

A tiny, zero-dependency Go library that validates UUIDs against standard RFC 4122 formatting, converts UUIDv7() into timestamps by ensuring accuracy and light compute.

• go
• timestamp
• uuid
• good-first-issue

An Actionscript 3 Implementation of a NTP Client Using Adobe AIR