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
Repository Index
55,640 visible repositories in the index
25–29 of 29 · Most stars
Crystal bindings for Hunspell.
- crystal
- hunspell
- bindings
- wrapper
a v wrapper for the awesome raylib library
a V wrapper for the sokol_gp library
Elixir NIF for Geohash C Library