Functional specifications tutorial

Templates and workflow for generating PRDs, Tech Designs, and MVP and more using LLMs for AI IDEs

🔣 A collection of GitHub issue, pull request and security templates

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

An explorable 3D city that shows how Postgres actually works

Exchange-in-a-box: local options exchange simulator with realistic matching, FIX/WS/REST APIs and historical replay

An interactive guide to how browsers work

tl/dw (Too Long, Didn't Watch): Your Personal Research Multi-Tool - a naive attempt at 'A Young Lady's Illustrated Primer' (Open Source NotebookLM)

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

A constant/linear throughput load generator in Zig ⚡

Model Context Protocol (MCP) server for the Deribit cryptocurrency derivatives platform. Single binary crate that adapts the deribit-base, deribit-http, deribit-websocket, and (optional) deribit-fi…

🧡 Everything is RSSible

Minimalist and opinionated feed reader

DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.

Finds when the sun aligns with your street for a perfect sunset view

🇨🇭 A React renderer for Three.js

Remove visible and invisible AI watermarks and provenance metadata from images and video. Python library and CLI for SynthID, C2PA, EXIF, IPTC, XMP, and common generative-AI marks.

Open-source IoT Platform - Device management, data collection, processing and visualization.

🌱 Private, quiet space for thinking. Simple app for .md files.

A suite of plugins for legal workflows

Simulation of Asian Option and Lookback Option using Python

PDFCraft is a free, privacy-focused PDF toolkit that runs entirely in your browser. With 90+ professional tools, you can edit, convert, merge, split, and secure your PDF files without ever uploadin…

💻 vibe coding 101｜The first course for AI-native product builders.

Make AI coding agents architecture-aware: baseline-first, evidence-verified, drift-checked, and safe across long tasks.

Virtual whiteboard for sketching hand-drawn like diagrams

Vehicle Signal Specification - standardized way to describe automotive data

USA Federal Individual Income and Payroll Tax Microsimulation Model

An open-source, rules-based engine for accurate and consistent Philippine tax calculations. Work in progress.

TaxGPT using ollama + Vanilla JS for UI