Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Semagrams.jl | 81 | 1 | 8 months ago | 4 | November 21, 2021 | 48 | mit | Scala | ||
A graphical editor for graph-like structures | ||||||||||
Verigraph | 27 | 5 years ago | 35 | apache-2.0 | Haskell | |||||
Software specification and verification system based on graph rewriting | ||||||||||
Cifl Math Library | 12 | 5 months ago | 2 | other | Haskell | |||||
Basic mathematics library | ||||||||||
Graph2sheaves | 5 | 5 years ago | Jupyter Notebook | |||||||
Sheaves library for graph abstractions based on NetworkX |