SageMath as a macOS application bundle.
☆230Jan 25, 2026Updated last month
Alternatives and similar repositories for Sage_macOS
Users that are interested in Sage_macOS are comparing it to the libraries listed below
Sorting:
- We implement the progressive Improved Progressive BKZ with Lattice Sieving presented in https://eprint.iacr.org/2022/1343, one can call i…☆13Feb 14, 2025Updated last year
- Successor to PolyBoRi☆23Oct 1, 2025Updated 5 months ago
- Python interface to GAP☆18Jun 7, 2024Updated last year
- Main repository of SageMath☆2,253Feb 25, 2026Updated last week
- Native Jupyter kernel for GAP☆21Nov 25, 2025Updated 3 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Jan 12, 2026Updated last month
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Oct 13, 2023Updated 2 years ago
- ☆18Apr 10, 2021Updated 4 years ago
- A short introduction to SageMath☆19Jan 19, 2026Updated last month
- A Sage interface for FGb (Gröbner basis computations)☆39Feb 1, 2026Updated last month
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆114Feb 26, 2026Updated last week
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆10Feb 17, 2026Updated 2 weeks ago
- Basic package manager for GAP☆12Nov 25, 2025Updated 3 months ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Feb 13, 2026Updated 3 weeks ago
- An Interactive Discrete Mathematics Framework for GAP☆10Feb 25, 2026Updated last week
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Homebrew tap for GAP☆15Oct 20, 2025Updated 4 months ago
- ☆11Jan 28, 2023Updated 3 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…☆70Updated this week
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated 2 weeks ago
- collection of example documents for use within cocalc's library☆16Sep 11, 2025Updated 5 months ago
- my ctf chals☆11Jul 7, 2025Updated 8 months ago
- Embedded algebraic number fields☆14Dec 1, 2025Updated 3 months ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- Revisiting Differential-Linear Attacks via a Boomerang Perspective☆11Nov 26, 2025Updated 3 months ago
- ☆12Oct 4, 2023Updated 2 years ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- Library for Polynomial System Solving through Algebraic Methods☆176Feb 23, 2026Updated last week
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆11Dec 28, 2023Updated 2 years ago
- A VS Code extension to show the latest version of a dependency in pyproject.toml or requirements.txt☆13Sep 2, 2023Updated 2 years ago
- ☆13Nov 10, 2023Updated 2 years ago
- Web server to receive uploaded LaTeX and execute it in a docker container.☆15Feb 26, 2026Updated last week
- R Studio Addins for common data frame operations☆13Aug 5, 2016Updated 9 years ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago