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
49–54 of 54 · Most stars
High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
JVM runtime execution analysis - finds hot code paths by frequency, not CPU time
- asm
- bytecode
- code-coverage
- java
Ada finite-state machine generator.
Refinement and functional value types for Java 8+
- functional-programming
- java
- java8
- maven-central
FitEx is a Macro-Module which provides a bit of sugar for function definitions.
- macros
- elixir-lang
- elixir
- functional-programming