thoppe / Encyclopedia-of-Finite-GraphsLinks
Set of tools and data to compute all known invariants for simple connected graphs
☆14Updated 7 years ago
Alternatives and similar repositories for Encyclopedia-of-Finite-Graphs
Users that are interested in Encyclopedia-of-Finite-Graphs are comparing it to the libraries listed below
Sorting:
- Assorted s-expression utilities for Julia☆16Updated last year
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- BQN implementation in Julia☆18Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- REPL for LispSyntax.jl☆20Updated 5 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- a pure julia APL implementation that gets mostly "compiled out"☆66Updated 3 years ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆97Updated 3 years ago
- ☆14Updated 6 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- you know, for kids? 👾☆25Updated 2 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- Quantum Annealing Prolog☆39Updated 3 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆39Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Lazy Lists package for Wolfram Language☆15Updated 4 months ago
- A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…☆10Updated 2 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated 2 years ago
- Tangent bundle, vector space and Submanifold definition☆51Updated last month
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- Julia package for the Singular library☆35Updated this week
- A collection of Kanren implementations in Julia☆24Updated 2 months ago
- HTML DSL AFAICT☆15Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated last year
- Julia package for the Singular library☆20Updated 4 years ago
- Binary blobs with on-the-fly pointer patching☆17Updated 7 years ago