A collection of formalized statements of conjectures in Lean.

The math library of Lean 4

The developer platform for on-demand cloud development environments to create software faster and more securely.

📚 华章数学丛书高清扫描

Main repository of SageMath

"DeepCode: Open Agentic Coding (Paper2Code & Text2Web & Text2Backend)"

Fast prime number generator. Python bindings for the primesieve C++ library

manim animation of Basel-Problem

🚀 Fast prime number generator

The workflow for manim

Code for the manim-generated scenes used in 3blue1brown videos

find 12 primes in 2004 nums

Official inference framework for 1-bit LLMs

Open-source software for volunteer computing and grid computing.

An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator t…

Convergence verification of the Collatz problem

Port of OpenAI's Whisper model in C/C++

GeoGebra apps (mirror)

A Chrome extension to download VS Code extensions directly from the marketplace

Reinforcement Learning via Self-Distillation (SDPO)

仑哥曲线

The Modular Platform (includes MAX & Mojo)

The official repository of ALE-Bench

GSM-Symbolic templates and generated data

7zip in python3 with ZStandard, PPMd, LZMA2, LZMA1, Delta, BCJ, BZip2, and Deflate compressions, and AES encryption.

Use PEFT or Full-parameter to CPT/SFT/DPO/GRPO 600+ LLMs (Qwen3.6, DeepSeek-R1, GLM-5.1, InternLM3, Llama4, ...) and 300+ MLLMs (Qwen3-VL, Qwen3-Omni, InternVL3.5, Ovis2.5, GLM4.5v, Gemma4, Llava, …