Starred repositories
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
Infrastructure for researching self-driving databases
Check that a replica set's execution trace is a valid TLA+ spec behavior
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
The book "Performance Analysis and Tuning on Modern CPU"
Source code for projects that I am doing in the process of learning ML
A MIT-licensed, deployable starter kit for building and customizing your own version of AI town - a virtual town where AI characters live, chat and socialize.
Learn database internals by implementing it from scratch.
A large-scale 7B pretraining language model developed by BaiChuan-Inc.
A fast and minimal framework for building agentic systems
Rust library for writing Linux security policies using eBPF
facebook / kuduraft
Forked from apache/kuduA Raft Library in C++ based on the Raft implementation in Apache Kudu
骆驼(Luotuo): Open Sourced Chinese Language Models. Developed by 陈启源 @ 华中师范大学 & 李鲁鲁 @ 商汤科技 & 冷子昂 @ 商汤科技
ByConity is an open source cloud data warehouse
Gorilla: Training and Evaluating LLMs for Function Calls (Tool Calls)
🤖 Assemble, configure, and deploy autonomous AI Agents in your browser.
Tips and tricks for working with Large Language Models like OpenAI's GPT-4.
The open source codebase powering HuggingChat
Source code for Twitter's Recommendation Algorithm
Source code for the X Recommendation Algorithm
An open-source ChatGPT app with a voice
Large-scale Self-supervised Pre-training Across Tasks, Languages, and Modalities
🐙 Guides, papers, lessons, notebooks and resources for prompt engineering, context engineering, RAG, and AI Agents.