The Rust package registry

GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

msieve - Number Field Sieve implementation by Jason Papadopoulos

EPR: A Factoring and Primality checking library for C++

A package build system for Termux.

Termux - a terminal emulator application for Android OS extendible by variety of packages.

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)

仑哥曲线