Stars
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
A high-throughput and memory-efficient inference and serving engine for LLMs
verl/HybridFlow: A Flexible and Efficient RL Post-Training Framework
A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.
Lean 4 programming language and theorem prover
🚀 The fast, Pythonic way to build MCP servers and clients.
A collection of formalized statements of conjectures in Lean.
TensorRT LLM provides users with an easy-to-use Python API to define Large Language Models (LLMs) and supports state-of-the-art optimizations to perform inference efficiently on NVIDIA GPUs. Tensor…
Lean 4 theorem proving skill and workflow pack for AI coding agents
A lightweight, powerful framework for multi-agent workflows
A project to digitalise results from physics into Lean.
Seamless operability between C++11 and Python
Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.
🚀 A simple way to launch, train, and use PyTorch models on almost any device and distributed configuration, automatic mixed precision (including fp8), and easy-to-configure FSDP and DeepSpeed support
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
Signatures for entire Python programs. Extract the structure, the frame, the skeleton of your project, to generate API documentation or find breaking changes in your API.
A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Ongoing Lean formalisation of the proof of Fermat's Last Theorem