Stars
Claude Code like Sub-agents for Pi — parallel execution, live widget, custom agent types, mid-run steering and more ...
Pocket Flow: 100-line LLM framework. Let Agents build Agents!
The toolkit for AI devtools context engineering. Build with codebase mapping, symbol extraction, and many kinds of code search.
Devon: An open-source pair programmer
llama3 implementation one matrix multiplication at a time
SWE-bench: Can Language Models Resolve Real-world Github Issues?
A framework for Claude Opus to intelligently orchestrate subagents.
MSVBASE is a system that efficiently supports complex queries of both approximate similarity search and relational operators. It integrates high-dimensional vector indices into PostgreSQL, a relati…
🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming
learn database internals by building a storage engine in Rust
In-memory vector store with efficient read and write performance for semantic caching and retrieval system. Redis for Semantic Caching.
Large-scale Self-supervised Pre-training Across Tasks, Languages, and Modalities
DataDreamer: Prompt. Generate Synthetic Data. Train & Align Models. 🤖💤
《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
ByConity is an open source cloud data warehouse
Open Lakehouse Format for Multimodal AI. Convert from Parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, DuckDB, Polars, Pyarrow, a…
FUSE-based file system for replicating SQLite databases across a cluster of machines
A Hacker News style forum, built on the Lens Protocol.
Horizontally scalable blockchain using STARK's and partitioned transactional memory
A NFT powered by zkSNARKs. Exploring fog-of-war type interactions between NFTs such as trading and battling.
A cross platform way to express data transformation, relational algebra, standardized record expression and plans.
A STARK prover and verifier for arbitrary computations