abetten / orbiter
Classification of combinatorial objects
☆16Updated last week
Alternatives and similar repositories for orbiter:
Users that are interested in orbiter are comparing it to the libraries listed below
- Python interface to GAP☆15Updated 9 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
- GAP package guava - computations relative to error-correcting codes☆15Updated last week
- Notes on Diffy Qs, a textbook for differential equations☆62Updated 3 weeks ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- ☆30Updated 2 weeks ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated 2 weeks ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆14Updated 2 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 months ago
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- ☆11Updated last year
- C++ library for semigroups and monoids☆46Updated this week
- Native Jupyter kernel for GAP☆19Updated last week
- Jupyter wrapper kernel for singular☆10Updated 9 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- FreeTikZ☆38Updated 7 years ago
- A database app for ring theory☆21Updated last month
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- C++ Library for Quantum State Preparation (QSP)☆11Updated 2 years ago
- A Binder repo for SageMath computing environment☆27Updated this week
- A tool for proving and organizing general theorems using Python.☆28Updated last week
- feyngen and feyncop - Two programs for calculations with Feynman graphs☆19Updated last month
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Deposited packages of the homalg project☆13Updated 3 months ago
- a Sparse Direct Solver modulo p☆25Updated 4 months ago
- Basic package manager for GAP☆12Updated last week