Repository Index

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

Plain text table generator for Ruby, with a DRY, column-based API

• ruby
• ascii-table
• terminal-table
• tty-table

A pack of modern nvim color schemes: material, moonlight, Dracula (blood), Monokai, Mariana, Emerald, earlysummer, middlenight_blue... Fully support Treesitter, LSP and a variety of plugins.

Stream images from a connected camera over MQTT, view using Streamlit, record to file and sqlite

• home-automation
• mqtt
• camera
• streamlit

A full-featured radio automation system targeted for use in professional broadcast and media environments

Erlang date, time, and timezone management: formatting, conversion, and date arithmetic

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp

Open Parser for Systematic IUPAC Nomenclature. Chemical name to structure conversion

Automated collection and reporting of citations for used software/methods/datasets

Animated, steppable code explainers. Zero-dependency TypeScript, SVG output, browser and Cloudflare Workers.

Self-hosted web scraper, crawler and document parser for AI agents: URLs, PDFs with OCR and Office files to clean Markdown/JSON. Firecrawl- and Jina-compatible API, MCP server, agent endpoint, Python/Node SDKs. Single Rust binary.

• ai-agents
• browser-automation
• data-extraction
• firecrawl

UISwitch which paints over the parent view with the color in Swift.

[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)

A curated list of resources for machine learning for small-molecule drug discovery

• awesome-list
• machine-learning
• cheminformatics
• drug-discovery

📱📲 A wrapper for the MultipeerConnectivity framework for automatic offline data transmission between devices

• ios
• swift
• multipeerconnectivity
• connection

Standalone puppeteer playground in browser's developer tools.

• puppeteer
• automation
• ide
• chrome-extension

Language server, formatter, and linter for Quarto and other Markdown flavors

• formatter
• pandoc
• quarto
• language-server

😀 The Acid2 test, now for the original Game Boy! 😀

go library for image programming (merge, crop, resize, watermark, animate, ease, transit)

• golang
• image
• merge
• crop

This library is for adding animation to iOS tabbar items, which is inherited from UITabBarController.

• swift
• ios

Core animation primitives for Ember.

TrackMate is your buddy for your everyday tracking.

• image-analysis
• single-particle-tracking
• fiji-plugin

Hand-drawn and pixel-art explainer videos written entirely in code — Remotion + React + SVG, procedural music & SFX, subtitle-driven timing

• animation
• explainer-video
• pixel-art
• react

INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.

• grading
• assessment
• education
• e-assessment