LaunchSmith: CLI tool that audits and packages open-source repo launch readiness
Evidence‑based audit for launch readiness
Every project in the order it hatched — newest first. 1256 and counting.
LaunchSmith: CLI tool that audits and packages open-source repo launch readiness
Evidence‑based audit for launch readiness
Rust CLI to query TLA+ specs for state validation
Fast, JVM‑free TLA+ evaluation
EVOWORKS Control: native Windows app for configuring EVO80 keyboards
Provides offline keymap and RGB editing
Spec‑driven platform to track rainforest projects and connect sponsors.
Enforces contracts at runtime, ensuring data integrity.
Approvo: a Feishu-powered release approval gate for CI/CD pipelines
Adds lightweight, single-instance approval step via Feishu
Nex Lang – a TypeScript‑first scripting language with CLI and VS Code LSP
Self‑hosted TS toolchain, ready‑to‑run scripts
Free web app that tracks Atlantic tropical waves and cyclones for the Antilles.
Combines official data, translation, and offline maps.
Local read‑only MCP server for Xiaohongshu/RedNote content
Enables Copilot CLI to fetch social posts safely
For‑Rest: a local‑first, code‑first API workbench for developers
Code‑first scripts, offline execution, AI‑native editing
Native Python library for crisp‑set and fuzzy‑set Qualitative Comparative Analysis
Typed, exact QCA implementation
Browser‑based X.509 certificate viewer that parses locally
Privacy‑first local inspection, no server
ASRQuant: Python framework for auditable quantitative finance research
Comprehensive, reproducible finance toolkit
Self‑hosted webhook platform that triggers Docusign workflows from events
Visual flow builder with secure webhook handling
Polymarket arbitrage bot that finds and executes cross‑market mispricings
Real‑time book‑walk sizing and LP optimization
Pure .NET ADO.NET provider for Access .mdb/.accdb files
Works without Microsoft Access or ODBC
Modern SwiftMailer fork adding Symfony Mailer features for legacy PHP apps
Adds many API transports and DSN support
Self-hosted custodial crypto payment API with double-entry ledger
Integrates BTCPay, offers secure deposits and withdrawals
Lanes: coordination layer for AI agents to avoid duplicate work
Adds visibility, prevents redundant AI effort
Expense Analyzer turns bank statements into actionable spending insights
Combines rules and ML for accurate, explainable categorization
Local dashboard to track OpenAI, Claude, Grok usage limits
Shows remaining quota in one view
Quantum Arcade: interactive Italian game teaching quantum computing
Hands‑on quantum learning with a real simulator
Desktop AI chat client with memory, identity, and voice features
Adds offline desktop UI and character voice to SillyTavern
Latenspect: local tool to detect hidden content and metadata in documents
Finds concealed data before sharing
Vertiku: self‑hosted audiobook converter turning folders into M4B files
Easy batch conversion with queue, metadata editing, and Docker