abetten / orbiter
Classification of combinatorial objects
☆16Updated 3 weeks ago
Alternatives and similar repositories for orbiter:
Users that are interested in orbiter are comparing it to the libraries listed below
- Python interface to GAP☆16Updated 10 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆60Updated 2 months ago
- GAP package guava - computations relative to error-correcting codes☆16Updated last week
- C++ library for semigroups and monoids☆46Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 3 months ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated 2 weeks ago
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated 2 months ago
- A database app for ring theory☆22Updated 2 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- A Lean 4 Jupyter kernel via repl☆26Updated 5 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated this week
- Formalized quantum computing in Lean theorem prover☆22Updated 4 years ago
- feyngen and feyncop - Two programs for calculations with Feynman graphs☆19Updated 3 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated this week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated this week
- Jupyter wrapper kernel for singular☆10Updated 10 months ago
- a Sparse Direct Solver modulo p☆26Updated 6 months ago
- 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
- A Small Quantum Intermediate Representation☆86Updated 3 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- FreeTikZ☆38Updated 7 years ago
- Coq library for reasoning about quantum programs☆39Updated 3 months ago
- A research project on isomorphisms of finite fields☆16Updated 6 years ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆15Updated 3 months ago
- Native Jupyter kernel for GAP☆19Updated last month
- ☆11Updated last year