lonnen / nauty
unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system is somewhat improvisational. We aspire to track the official releases closely, but for the latest please visit the official homepage.
☆17Updated 3 months ago
Alternatives and similar repositories for nauty:
Users that are interested in nauty are comparing it to the libraries listed below
- A Jupyter client for TeXmacs☆9Updated 3 years ago
- Clifford algebra for CAS Maxima☆16Updated 2 months ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Updated 4 months ago
- A Binder repo for SageMath computing environment☆27Updated this week
- Deposited packages of the homalg project☆13Updated 4 months ago
- A markdown converter plugin for TeXmacs☆26Updated last year
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated 4 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated 3 months ago
- Unified interface to symbolic manipulation libraries in Python☆9Updated 2 months ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 11 months ago
- Assorted s-expression utilities for Julia☆16Updated last year
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 3 years ago
- Reverse search algorithm for vertex enumeration/convex hull problems by David Avis (http://cgm.cs.mcgill.ca/~avis/C/lrs.html). Git histor…☆14Updated 3 years ago
- DEPRECATED REPO Mirror of the TeXmacs svn repository, using git-svn. Also contains guile-2.0 branch from gitorious.org/texmacs/thlai-tex…☆15Updated 7 years ago
- Cadabra computer algebra☆19Updated 8 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated this week
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 8 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Awesome Geometric Algebra☆27Updated 4 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Python package to convert LaTeX markup to DOM☆14Updated 3 months ago
- Call Mathematica from Julia☆73Updated 5 years ago
- ☆30Updated 7 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- Tensor algebra abstract type interoperability setup☆43Updated 5 months ago
- Julia bindings for xtensor☆19Updated 2 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago