JuliaGraphs / NautyGraphs.jlLinks
Julia interface to the graph isomorphism tool nauty
☆17Updated this week
Alternatives and similar repositories for NautyGraphs.jl
Users that are interested in NautyGraphs.jl are comparing it to the libraries listed below
Sorting:
- A Julia library for computing tree decompositions and chordal completions of graphs.☆28Updated 2 weeks ago
- The Belief Propagation approximation for probability distributions on sparse graphs☆25Updated 2 months ago
- A Julia implementation of choice sequence based PBT, inspired by Hypothesis☆75Updated last week
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated 11 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated 2 months ago
- Linter for the Julia programming language☆38Updated last week
- Memory-efficient immutable LightGraphs.☆33Updated last week
- Bijection datatype for Julia.☆48Updated last week
- graph plotting and drawing networks with Julia, using Luxor graphics☆70Updated last month
- Julia package to read MatrixMarket file format☆31Updated last year
- Example of the use of jlcode and the JuliaMono font to write Julia code in LaTeX☆17Updated 3 years ago
- Unrolling loops at compile-time☆54Updated 2 years ago
- Functions generated at runtime without world-age issues or overhead☆107Updated last week
- Multithreaded mat-vec multiplication for sparse matrices in the CSR format, in Julia☆29Updated 3 years ago
- Exact linear algebra functions☆43Updated 2 months ago
- LieGroups.jl – Lie groups and Lie algebras☆41Updated this week
- Convenient way to handle simple graphs and digraphs☆41Updated 3 months ago
- Build types in Julia where some fields have computed types☆62Updated 2 years ago
- A package for graphs with vertex labels and metadata in Julia☆92Updated 2 months ago
- KolmogorovArnoldNetworks.jl is a Julia library providing implementations of Kolmogorov-Arnold neural networks☆32Updated 2 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆50Updated 2 weeks ago
- Truncated singular value decomposition with partial reorthogonalization☆45Updated 2 months ago
- Easy-to-use sum types in Julia☆62Updated last week
- traits for julia: dispatch on whatever you want using where syntax☆93Updated last year
- Linear algebra done rigorously☆39Updated last year
- Sparse, General Linear Algebra for Graphs!☆113Updated 3 months ago
- Rigorous global optimisation☆62Updated 2 months ago
- nextgen MLStyle: Generic Algebraic Data Type + Pattern Match☆96Updated 4 months ago
- Library for compile-time computing in julia☆73Updated last year
- XMLDict implements a simple Associative interface for XML documents.☆34Updated 4 years ago