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:
- 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 8 months ago
- Graph homomorphism and retract searching☆11Aug 5, 2015Updated 11 years ago
- A Binder repo for SageMath computing environment☆39Updated this week
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆13Sep 4, 2024Updated 2 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.
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Jun 15, 2026Updated 3 months ago
- Macaulay2 web app with support for KaTeX and HTML output☆22Aug 3, 2026Updated last month
- cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/☆44Apr 11, 2026Updated 5 months ago
- Sphinx extension to let you write LaTeX math using $$☆35Feb 5, 2026Updated 7 months ago
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 5 years 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
- Main repository for sharing files and documents about OpenDreamKit☆94Oct 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 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- JavaScript implementation of the 1Password cloud keychain☆21Mar 8, 2018Updated 8 years ago
- time series anomaly detection using rnns for my thesis☆11Feb 12, 2016Updated 10 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Code for "COEVOLVE: A Joint Point Process Model for Information Diffusion and Network Co-evolution", NIPS 2015☆11Jan 4, 2016Updated 10 years ago
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆22Mar 11, 2026Updated 6 months ago
- The Universal Algebra Calculator☆16Updated this week
- A scraper that retrieves install/live images (.iso files) from different distributions☆20Dec 10, 2022Updated 3 years ago
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- 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.
- 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
- BLS working standard draft☆39Aug 8, 2019Updated 7 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
- Surveys and datasets collected by Project Jupyter☆27Sep 7, 2026Updated 2 weeks ago
- GAP package IO to do input and output☆15Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Build and release tools for the MathJax project☆35Jun 1, 2026Updated 3 months ago
- Prover9 is a resolution and paramodulation-based theorem prover for first-order and equational logic, and Mace4 searches for finite count…☆21Aug 13, 2026Updated last month
- MegaDL is a web interface for megatools.☆13Feb 5, 2016Updated 10 years ago
- ☆12Nov 24, 2018Updated 7 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 !☆14Jul 6, 2022Updated 4 years ago