Graph Algorithms
Showing 13 of 85 projects
A Crystal library providing comprehensive graph data structures and algorithms for the Crystal programming language.
A Coq library for formal verification of graph-manipulating C programs, compatible with CompCert and VST.
Coq formalization and correctness proofs of Tarjan's and Kosaraju's algorithms for finding strongly connected components in graphs.
A Go implementation of the Disjoint-Set (Union-Find) data structure for managing non-overlapping sets with efficient union and find operations.
A modern Angular 20+ component library for Cytoscape.js graph visualization with dynamic forms and signal-based architecture.
A collection of utility and mathematical functions for GameMaker Studio 2, including number theory, linear algebra, and graph algorithms.
A Clojure library providing fundamental graph theory algorithms for directed and undirected graphs.
A collection of network analysis helper functions for igraph in R, providing missing or niche utilities.
Dijkstra algorithm implementation for pathfinding in weighted graphs within GameMaker Studio 2.
Optimized centrality measure implementations for Graphs.jl graphs in Julia, now deprecated in favor of LightGraphs.jl.
A Go library for topological sorting and pruning of directed acyclic graphs (DAGs).
A deprecated Julia package extending LightGraphs.jl to store graph, vertex, and edge properties.
A Julia package providing network flow algorithms and data structures optimized for augmenting shortest paths max-flow.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.