SageMath as a macOS application bundle.
☆233Mar 11, 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Successor to PolyBoRi☆23Oct 1, 2025Updated 6 months ago
- 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
- Main repository of SageMath☆2,326Apr 12, 2026Updated last week
- ☆47Feb 28, 2023Updated 3 years ago
- Python interface to GAP☆18Jun 7, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆18Apr 10, 2021Updated 5 years ago
- A Sage interface for FGb (Gröbner basis computations)☆38Feb 1, 2026Updated 2 months ago
- Representing DES in Z3☆16Jul 14, 2023Updated 2 years ago
- ☆10Feb 17, 2026Updated 2 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆31Apr 6, 2026Updated last week
- A short introduction to SageMath☆20Jan 19, 2026Updated 3 months ago
- 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
- ☆26Apr 23, 2021Updated 4 years ago
- Homebrew tap for GAP☆16Oct 20, 2025Updated 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- ☆11Jan 28, 2023Updated 3 years ago
- ☆10Nov 20, 2024Updated last year
- ☆13Apr 10, 2026Updated last week
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year
- Solution for cryptohack challenges☆21Oct 6, 2021Updated 4 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,993Jan 29, 2023Updated 3 years ago
- Archive of the git branches attached to tickets on https://trac.sagemath.org/ before the migration to GitHub (Jan 30, 2023)☆11Jan 30, 2023Updated 3 years ago
- Embedded algebraic number fields☆13Dec 1, 2025Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆12Dec 28, 2023Updated 2 years ago
- Repo for collecting part of my public CTF challenges☆44Mar 25, 2024Updated 2 years ago
- ☆14Jun 14, 2025Updated 10 months ago
- ☆18Mar 15, 2026Updated last month
- Modelling simple atoms and 87Rb in cavity-QED.☆13Sep 19, 2022Updated 3 years ago
- A SageMath package to compute gravitational radiation from bodies orbiting a Kerr black hole☆14Nov 19, 2024Updated last year
- A research project on isomorphisms of finite fields☆16Jun 15, 2018Updated 7 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆139Apr 17, 2023Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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…☆20Jul 16, 2021Updated 4 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆89Nov 21, 2025Updated 4 months 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
- 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…☆116Updated this week
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆22Feb 4, 2026Updated 2 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆46Mar 5, 2026Updated last month
- Subscribe URLs with custom UA, cookie and referer☆16May 18, 2017Updated 8 years ago