Sign in

Repository Index

79,350 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

3,889–3,912 of 4,222 · Most stars

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

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm

Generate, encode, and decode UUIDs v1 with fast or cryptographic-quality random node identifier.

  • manipulating-uuids
  • guid
  • uuid-generator
  • uuid1

AfterGlow Cloud is a security visualization tool which lets users upload data and visualize the data as graphs on-the-fly (part of Google Summer of Code 2012).