Stars
Validate your forms, frontend, without writing a single line of javascript
Always know what to expect from your data.
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
Functional reactive web and mobile applications, with batteries included.
Self-host Supabase with Nginx/Caddy and Authelia with just ONE bash script.
Agent framework and applications built upon Qwen>=3.0, featuring Function Calling, MCP, Code Interpreter, RAG, Chrome extension, etc.
Source code for the X Recommendation Algorithm
Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.
A PostgreSQL Docker container that automatically upgrades your database
A reverse engineering of Linear's sync engine for learning purposes. Endorsed by Linear's CTO.
A rules engine expressed in JSON
🤖 The largest directory for AI-ready documentation and tools implementing the proposed llms.txt standard
TUI app- Give it a YouTube URL and you get a transcription with possible speaker identification and optional summary or translation, all thanks to open-source AI tooling and my lack of enough free …
Kanban board to manage your AI coding agents
Benchmarking Memcache, Redis, Valkey, Dragonfly, and Garnet caching software.
A Python-like programming language for testing and experimenting with concurrent programs.
Development repository for the Triton language and compiler
Share terminal sessions via SVG and CSS
Supercharge Your LLM with the Fastest KV Cache Layer