Multi-agent framework, runtime and control plane. Built for speed, privacy, and scale.

Open-source framework for the research and development of foundation models.

The Julia Programming Language

All Cursor AI's official download links for both the latest and older versions, making it easy for you to update, downgrade, and choose any version. 🚀

🤯 LobeHub - an open-source, modern design AI Agent Workspace. Supports multiple AI providers (OpenAI / Claude 4 / Gemini / DeepSeek / Ollama / Qwen), Knowledge Base (file upload / RAG ), one click …

The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.

Lean 4 programming language and theorem prover

Catalog Of Math Problems Formalized In Lean

Image Polygonal Annotation with Python (polygon, rectangle, circle, line, point and image-level flag annotation).

A library for scientific machine learning and physics-informed learning

A collection of formalized statements of conjectures in Lean.

DeepInverse: a PyTorch library for solving imaging inverse problems using deep learning

🚀🚀 「大模型」2小时完全从0训练26M的小参数GPT！🌏 Train a 26M-parameter GPT from scratch in just 2h!

PyTorch native post-training library

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

A Flexible Framework for Experiencing Cutting-edge LLM Inference Optimizations

verl: Volcano Engine Reinforcement Learning for LLMs

Convert PDF to markdown + JSON quickly with high accuracy

An easy-to-use framework for large scale recommendation algorithms.

This repository is for the first comprehensive survey on Meta AI's Segment Anything Model (SAM).

A Collection of AIGC Research Groups

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)

Transforms complex documents like PDFs into LLM-ready markdown/JSON for your Agentic workflows.

📰 Must-read papers and blogs on LLM based Long Context Modeling 🔥

AcadHomepage: A Modern and Responsive Academic Personal Homepage

Litex is a simple formal language Learnable in 2 hours, not 1 year. It scales formal reasoning in AI era.

📚LeetCUDA: Modern CUDA Learn Notes with PyTorch for Beginners🐑, 200+ CUDA Kernels, Tensor Cores, HGEMM, FA-2 MMA.🎉

U-Bench: A Comprehensive Understanding of U-Net through 100-Variant Benchmarking