gap-packages / PackageMaker
A simple GAP script for creating a GAP package skeleton
☆16Updated 2 weeks ago
Alternatives and similar repositories for PackageMaker:
Users that are interested in PackageMaker are comparing it to the libraries listed below
- Basic package manager for GAP☆12Updated last week
- Native Jupyter kernel for GAP☆19Updated last month
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 4 months ago
- The GAP package Semigroups☆24Updated 2 weeks ago
- CAP project -- Categories, Algorithms, and Programming☆26Updated this week
- Algebra Number Theory book☆48Updated 3 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆38Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last month
- Homebrew tap for GAP☆14Updated 10 months ago
- Jupyter wrapper kernel for singular☆10Updated 10 months ago
- A "git trac" subcommand for git☆13Updated 3 years ago
- C++ library for semigroups and monoids☆46Updated this week
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆62Updated 2 years ago
- ☆9Updated 5 months ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- A textual front end to Mathematica.☆12Updated 5 years ago
- Superposition prover☆17Updated 2 years ago
- An OpenMath 2.0 implementation in Python☆16Updated 4 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Jupyter kernels for GAP☆12Updated 7 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 7 months ago
- Multinomials for the Mathematical Components library.☆14Updated last week
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆72Updated 3 years ago
- Deposited packages of the homalg project☆13Updated 4 months ago
- The Combination of Dynamic and Static Typing from a Categorical Perspective☆10Updated 7 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Mathjax formulas doing LATEX goodness in Etherpad☆17Updated last year
- some maths papers in English☆18Updated 3 weeks ago
- Schemes in Lean (v2)☆43Updated 4 years ago