Main repository of SageMath
☆2,253Feb 25, 2026Updated last week
Alternatives and similar repositories for sage
Users that are interested in sage are comparing it to the libraries listed below
Sorting:
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆140Apr 17, 2023Updated 2 years ago
- This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.s…☆1,997Jan 29, 2023Updated 3 years ago
- Lean 4 programming language and theorem prover☆7,435Updated this week
- A computer algebra system written in pure Python☆14,438Updated this week
- The math library of Lean 4☆2,946Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆412Updated this week
- SageMath as a macOS application bundle.☆230Jan 25, 2026Updated last month
- An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…☆1,161Updated this week
- Fast lattice reduction☆233Aug 25, 2025Updated 6 months ago
- Coppersmith method (solving polynomial equation over composite modulus on small bounds)☆124Dec 21, 2024Updated last year
- Coppersmith's method for multivariate polynomials☆194Oct 11, 2023Updated 2 years ago
- FLINT (Fast Library for Number Theory)☆564Updated this week
- Lattice algorithms using floating-point arithmetic☆396Oct 15, 2025Updated 4 months ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆941Feb 25, 2026Updated last week
- General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…☆70Updated this week
- Python implementations of cryptographic attacks and utilities.☆1,234Jan 8, 2026Updated last month
- my ctf chals☆11Jul 7, 2025Updated 8 months ago
- ☆38Jan 24, 2026Updated last month
- ☆112Apr 22, 2025Updated 10 months ago
- ☆37Sep 18, 2023Updated 2 years ago
- ☆24Mar 4, 2025Updated last year
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆49Feb 27, 2026Updated last week
- Python's library written in Rust to quickly factor `n = pq` when around >50% bits of `p` and `q` are known which are distributed at rando…☆19Jul 16, 2021Updated 4 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Jan 12, 2026Updated last month
- ☆38Feb 20, 2026Updated 2 weeks ago
- Functions for solving linear inequalities in integers☆60Jul 27, 2025Updated 7 months ago
- A markup-based typesetting system that is powerful and easy to learn.☆51,684Feb 26, 2026Updated last week
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Oct 1, 2025Updated 5 months ago
- A toolkit for cryptanalysis using lattices.☆137Dec 2, 2023Updated 2 years ago
- ☆44Feb 28, 2023Updated 3 years ago
- Official repository of the FriCAS computer algebra system☆373Updated this week
- Standard curve database.☆122Dec 3, 2025Updated 3 months ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,367Updated this week
- Embedded algebraic number fields☆14Dec 1, 2025Updated 3 months ago
- The Z3 Theorem Prover☆11,981Updated this week
- A field-theory motivated approach to computer algebra.☆270Dec 7, 2025Updated 2 months ago
- attacking RSA via lattice reductions (LLL)☆830Apr 11, 2021Updated 4 years ago
- A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.☆467Updated this week
- CVP "trick" for CTF challenges☆150Jun 19, 2023Updated 2 years ago