3-manifolds / Sage_macOSView external linksLinks
SageMath as a macOS application bundle.
☆227Jan 25, 2026Updated 2 weeks ago
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☆22Oct 1, 2025Updated 4 months ago
- Python interface to GAP☆18Jun 7, 2024Updated last year
- Main repository of SageMath☆2,215Updated this week
- Native Jupyter kernel for GAP☆21Nov 25, 2025Updated 2 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 Sage interface for FGb (Gröbner basis computations)☆39Feb 1, 2026Updated last week
- 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…☆114Updated this week
- ☆10Sep 13, 2024Updated last year
- An Interactive Discrete Mathematics Framework for GAP☆10Updated this week
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 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
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 10 months ago
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆12Dec 27, 2025Updated last month
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆16Jul 10, 2025Updated 7 months ago
- ☆11Jan 28, 2023Updated 3 years ago
- ☆10Nov 20, 2024Updated last year
- A Kafka client for Racket.☆18Aug 4, 2025Updated 6 months ago
- Attacks on Jarvis and Friday☆10Oct 9, 2019Updated 6 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
- ☆12Oct 4, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- Revisiting Differential-Linear Attacks via a Boomerang Perspective☆11Nov 26, 2025Updated 2 months ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- collection of example documents for use within cocalc's library☆16Sep 11, 2025Updated 5 months ago
- my ctf chals☆11Jul 7, 2025Updated 7 months ago
- Library for Polynomial System Solving through Algebraic Methods☆170Updated this week
- Web server to receive uploaded LaTeX and execute it in a docker container.☆15Feb 3, 2026Updated last week
- A VS Code extension to show the latest version of a dependency in pyproject.toml or requirements.txt☆13Sep 2, 2023Updated 2 years ago
- ☆13Apr 24, 2024Updated last year
- ☆14Jun 14, 2025Updated 8 months ago
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- ☆13Nov 10, 2023Updated 2 years ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆11Dec 28, 2023Updated 2 years ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago
- A dynamic tiled window management that bridges the gap between yabai and krohnkite☆13Mar 13, 2025Updated 11 months ago