Dockerfiles for Sage
☆52Dec 16, 2019Updated 6 years ago
Alternatives and similar repositories for docker-images
Users that are interested in docker-images are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Binder repo for SageMath computing environment☆38Aug 24, 2026Updated last week
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆12Jun 11, 2026Updated 2 months ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆12Sep 4, 2024Updated 2 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Aug 3, 2026Updated last month
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- Multinomials for the Mathematical Components library.☆17Aug 20, 2026Updated 2 weeks ago
- Main repository for sharing files and documents about OpenDreamKit☆93Oct 9, 2020Updated 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 4 months ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- javascript plotting for ipython notebooks using flot☆25Dec 6, 2013Updated 12 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆22Mar 11, 2026Updated 5 months ago
- A scraper that retrieves install/live images (.iso files) from different distributions☆20Dec 10, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A lightweight feedback tool for Jupyter☆12Jul 27, 2021Updated 5 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆15Oct 20, 2019Updated 6 years ago
- Bitcoin Improvement Proposals☆14Aug 14, 2018Updated 8 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆32Jul 27, 2026Updated last month
- Prover9 is a resolution and paramodulation-based theorem prover for first-order and equational logic, and Mace4 searches for finite count…☆16Aug 13, 2026Updated 3 weeks ago
- A LaTeX package that incorporates sympy code, and it's output into your LaTeX documents☆37Oct 21, 2014Updated 11 years ago
- Scriptable app script to create and update a code completion file in Textastic for Pandoc-style citations in markdown files and keys in c…☆14Feb 7, 2020Updated 6 years ago
- GAP packages for Julia integration☆84Updated this week
- A little demo how to bind an advanced data science algorithms to 4 different languages☆10Nov 6, 2018Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- GAP package IO to do input and output☆15Aug 23, 2026Updated last week
- Build and release tools for the MathJax project☆34Jun 1, 2026Updated 3 months ago
- An extension for the IPython notebook to communicate with Mathematica☆54Sep 14, 2012Updated 13 years ago
- Provide smarter tab names form Atom editor.☆14Dec 14, 2015Updated 10 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- common language and mathematics processing algorithms, in Rust☆30Mar 25, 2024Updated 2 years ago
- The first 100% open-source Firewall for Windows 8/10/11 based on domain names !☆13Jul 6, 2022Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Automatically generate Cython pxd files from C headers☆47Mar 24, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Communal zk-SNARK MPC for Public Parameters☆19Nov 4, 2023Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Supermium web browser installer☆21May 31, 2024Updated 2 years ago
- See https://github.com/sagemathinc/smc instead!☆22Mar 7, 2019Updated 7 years ago
- C++ iterator that performs the cartesian product of many containers.☆12Jan 12, 2016Updated 10 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- Repository for JabRef's blog☆10Aug 25, 2026Updated last week