Lists (10)
Starred repositories
A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.
World's first open-source, agentic video production system. 12 production pipelines, 100+ tools, 700+ agent skill and production-knowledge files. Turn your AI coding assistant into a full video pro…
SQLite extension + bindings for Postgres NOTIFY/LISTEN semantics with durable queues, streams, pub/sub, and scheduler
This is the dataset repository for the paper: POP909: A Pop-song Dataset for Music Arrangement Generation
ATLAS by General Intelligence Capital — Self-improving AI trading agents using Karpathy-style autoresearch
Deterministic, verifiable orchestration for CLI coding agents (Claude Code, Codex, Gemini CLI, +40 more). Reproducible parallel runs in git worktrees, signed lineage, byte-identical replay, opt-in …
A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物
Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀
A framework for collecting and analyzing prediction market data, including the largest publicly available dataset of Polymarket and Kalshi market and trade data.
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
FinRobot: An Open-Source AI Agent Platform for Financial Analysis using LLMs 🚀 🚀 🚀
"Building Distributed Systems with Stateright"
Implementation of MusicLM, a text to music model published by Google Research, with a few modifications.
An autonomous agent for deep financial research
DeepTutor: Lifelong Personalized Tutoring. https://deeptutor.info/.
Auction Theory Toolbox – Computer Verified Auctions
A model checker for implementing distributed systems.
Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications
Python implementation of TextRank algorithms ("textgraphs") for phrase extraction
A prompt engineering functional programming language
Unified Schema-Based Information Extraction
Synchronise event and tracking data using dynamic programming
MCP Toolbox for Databases is an open source MCP server for databases.
A configuration framework that enhances Claude Code with specialized commands, cognitive personas, and development methodologies.