Stars
Python library for program synthesis and symbolic execution combining constraint solving and LLMs
Here are my personal paper reading notes (including machine learning systems, AI infrastructure, and other interesting stuffs).
The Go implementation of Connect: Protobuf RPC that works.
gRPC to JSON proxy generator following the gRPC HTTP spec
Claude powered advisor system for option traders
Curated list of mathematics, probability, ML, and quantitative trading resources for quants and algorithmic traders.
🏅 Collection of Kaggle Solutions and Ideas 🏅
Security Scanner for Agent Skills
An open-source AI agent that brings the power of Gemini directly into your terminal.
Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured
Industry leading face manipulation platform
A lightweight command-line tool that spins up a local web server to display Git commit diffs in a GitHub-like Files changed view
A Super Mario 64 decompilation, brought to you by a bunch of clever folks.
Kilo is the all-in-one agentic engineering platform. Build, ship, and iterate faster with the most popular open source coding agent.
Ultimate collection of Claude Code tips, tricks, hacks, and workflows that you can use to master Claude Code in minutes
Prevents you from committing secrets and credentials into git repositories
The minimal amount of CSS to replicate the GitHub Markdown style
The headless rich text editor framework for web artisans.