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
47,133 repositories indexed
25–29 of 29 · Most stars
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
The repository host gives no description.
:game_die: Progressive tic tac toe game, made with choo
Yeoman generator for creating node es next (ES6, ES7) projects, using traceur and ES6 module loader.