StefanKarpinski / GraphModularDecomposition.jlLinks
Modular decomposition of directed graphs
☆13Updated 10 months ago
Alternatives and similar repositories for GraphModularDecomposition.jl
Users that are interested in GraphModularDecomposition.jl are comparing it to the libraries listed below
Sorting:
- GLVisualize for the Web☆10Updated 6 years ago
- Like a kick in the monads☆42Updated 3 years ago
- ☆10Updated 5 years ago
- A modern tool for data exploration☆16Updated 6 years ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Updated 6 years ago
- Hard-Forked from JuliaText/TextAnalysis.jl☆17Updated 2 years ago
- Experimental compiler infrastructure for KernelAbstractions☆16Updated 2 years ago
- An Abstract Reasoning Logic Interface☆15Updated 5 years ago
- Julia bindings to the SAT solver picosat☆32Updated 2 years ago
- Pattern matching☆55Updated 3 years ago
- SPMD + Neural Nets☆32Updated 6 years ago
- metaprogramming for Julia arrays☆13Updated 5 years ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Updated last month
- The WaveFunctionCollapse algorithm in Julia.☆22Updated 7 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- Implementation of Conway's Surreal Numbers☆38Updated 3 months ago
- eXpression differentiation in Julia☆29Updated 6 years ago
- Functions for declaring and working with grammars and expression trees in Julia.☆25Updated 10 months ago
- It's interpreters all the way down.☆13Updated 4 years ago
- Utilities to efficiently track learning curves or other optimization information☆30Updated 4 years ago
- Deprecated in favor of https://github.com/PhilipVinc/TensorBoardLogger.jl/☆12Updated 6 years ago
- Locality-sensitive hashing (LSH) in Julia.☆14Updated 4 years ago
- Exact real arithmetic in Julia☆13Updated 6 years ago
- A Julia implementation of ▁▂▃▅▂▇ spark: simple printing of unicode trendlines☆10Updated 7 years ago
- Prototype of a fuzzer for Julia based on concolic execution☆18Updated 6 years ago
- ☆13Updated 6 years ago
- MultivariatePolynomials implementation using typed variables in Julia☆27Updated 5 months ago
- Base API optimized for tuples☆19Updated 5 years ago
- Automatic probabilistic programming for scientific machine learning and dynamical models☆35Updated last year
- Radical ideas for the Julia language.☆26Updated 5 years ago