Stars
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)
Apache Kafka is an open-source distributed event streaming platform used by thousands of companies. uForwarder aims to address several pain points while using Apache Kafka for pub-sub message queue…
A modern step-through debugger for GHC Haskell
Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.
Hosting read-only SQLite databases on static file hosters like Github Pages
Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.
Sharp Monocular View Synthesis in Less Than a Second
Penpot: The open-source design tool for design and code collaboration
Cloud-native high-performance edge/middle/service proxy
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