tarjan-algorithm

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

coq tarjan-algorithm ssreflect mathcomp mathcomp-ci

UpdatedFeb 25, 2025
Coq

KHvic /algorithms

Star13

Advance algorithm implementations

markov-chain kmp-algorithm interval-tree number-theory tarjan-algorithm segment-tree kosaraju max-flow suffix-array hopcroft-karp fenwick-tree z-algorithm edmonds-karp-algorithm square-root-decomposition blossom-algorithm sparse-table heavy-light-decomposition mo-algorithm hierholzer manacher-s-algorithm

UpdatedAug 24, 2021
C++

pallas /libite

Star9

Examples of intrusive container templates in C++.

list queue tarjan mergesort red-black-tree heap dijkstra heapsort hash-table misra disjoint-set kruskal tarjan-algorithm mergesort-algorithm heapsort-algorithm dijkstra-algorithm kruskal-algorithm list-sort tree-sort intrusive-containers

UpdatedJan 14, 2019
C++

triska /scc

Star8

Strongly Connected Components of a Graph

graph scc prolog tarjan-algorithm

UpdatedApr 13, 2020
Prolog

Vacilando /js-tarjan

Sponsor

Star4

JavaScript implementation of Tarjan's strongly connected components algorithm

javascript tarjan-algorithm

UpdatedFeb 20, 2022
JavaScript

Vacilando /php-tarjan

Sponsor

Star4

PHP implementation of Tarjan's strongly connected components algorithm

php tarjan-algorithm

UpdatedDec 8, 2021
PHP

lengyijun /tarjan-kosaraju-why3-lean4

Star4

tarjan-algorithm why3 kosaraju-algorithm lean4

UpdatedJan 17, 2025
Lean

aalok-sathe /libcolgraph

Star3

graph library and web application in C++/Python+Flask to construct, manipulate, and visualize 'coloring graphs' (using VisJS). implements Tarjan's algorithm to construct meta graphs and analyze them

graph-algorithms mathematics graph-theory tarjan-algorithm coloring-graph graph-coloring

UpdatedSep 10, 2020
C++

Aram-Vn /Algorithms_and_Data_structures

Star2

A collection of sorting algorithms and data structures implemented in C++. Each algorithm and data structure comes with its own set of test cases to ensure correctness and robustness.

avl-tree cpp graph priority-queue data-structures sorting-algorithms gtest heap topological-sort priorityqueue tarjan-algorithm merge-sort quick-sort trie-tree bellman-ford-algorithm rb-tree sssp dijikstra-algorithm kosaraju-algorithm bs-tree

UpdatedJan 10, 2025
C++

wadelucky /ap

Star2

Amateur concept of articulation points in both undirected and directed graphs

scc tarjan-algorithm articulation-point

UpdatedMar 19, 2019
C++

Bader-Research /MST-ReplacementEdges

Star2

MST-ReplacementEdges: Find Minimum Spanning Tree Replacement Edges

graph mst graph-theory tarjan-algorithm disjoint-sets minimum-spanning-tree disjoint-unions graph-algorithm

UpdatedDec 16, 2020
C

Dr-Eti /RtarD-Tarjans_DFS_in_R

Star2

R implementation of Tarjan's algorithm for finding Strongly Connected Components in a digraph by Depth-First Search

algorithm r graph-algorithms depth-first-search tarjan-algorithm digraph strongly-connected-components block-triangular-matrix

UpdatedNov 15, 2021
R

rumyantseva /lowest-common-ancestor

Star2

Lowest common ancestor. Tarjan's algorithm. Written in Go.

algorithms coding-challenge tarjan-algorithm lca-problem

UpdatedJul 28, 2017
Go

JustAnotherSoftwareDeveloper /ComS311_SCCs

Star1

A Class for Reading information from wikipedia and parsing it as an SCC

java scc webgraph tarjan-algorithm bfs-algorithm

UpdatedJul 9, 2017
Java

Strabox /Graph-Searches

Star1

Project to 2013/2014 Algorithms and Data Structures course of Bachelors Degree in Computer Science and Engineering 2nd Year @ Instituto Superior Técnico WITH@carboned4

algorithm cplusplus graphs academic-project tarjan-algorithm