SageMath as a macOS application bundle.
☆242Aug 31, 2026Updated 3 weeks ago
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☆24Sep 1, 2026Updated 3 weeks ago
- Main repository of SageMath☆2,567Updated this week
- ☆50Feb 28, 2023Updated 3 years ago
- Python interface to GAP☆18Jun 7, 2024Updated 2 years ago
- We implement the progressive Improved Progressive BKZ with Lattice Sieving presented in https://eprint.iacr.org/2022/1343, one can call i…☆17Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆18Apr 10, 2021Updated 5 years ago
- Representing DES in Z3☆16Jul 14, 2023Updated 3 years ago
- A Sage interface for FGb (Gröbner basis computations)☆39Feb 1, 2026Updated 7 months ago
- ☆11Jun 3, 2026Updated 3 months ago
- A short introduction to SageMath☆20Jan 19, 2026Updated 8 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆32Jul 27, 2026Updated 2 months ago
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆13Mar 31, 2026Updated 5 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆27Apr 23, 2021Updated 5 years ago
- Web server to receive uploaded LaTeX and execute it in a docker container.☆17Sep 2, 2026Updated 3 weeks ago
- Attacks on Jarvis and Friday☆10Oct 9, 2019Updated 6 years ago
- Homebrew tap for GAP☆19Oct 20, 2025Updated 11 months ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆27Jan 15, 2025Updated last year
- my ctf chals☆11Jul 7, 2025Updated last year
- Repo for collecting part of my public CTF challenges☆43Mar 25, 2024Updated 2 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- ☆12Apr 10, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Embedded algebraic number fields☆14Aug 17, 2026Updated last month
- 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,986Jan 29, 2023Updated 3 years ago
- ☆10Nov 20, 2024Updated last year
- ☆15Jun 14, 2025Updated last year
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆140Apr 17, 2023Updated 3 years ago
- A research project on isomorphisms of finite fields☆16Jun 15, 2018Updated 8 years ago
- Library for Polynomial System Solving through Algebraic Methods☆201Sep 19, 2026Updated last week
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A dynamic tiled window management that bridges the gap between yabai and krohnkite☆13Mar 13, 2025Updated last year
- 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…☆124Updated this 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…☆20Jul 16, 2021Updated 5 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆12Sep 21, 2021Updated 5 years ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆23Apr 22, 2026Updated 5 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆48Mar 5, 2026Updated 6 months ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆13Sep 4, 2024Updated 2 years ago