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–32 of 32 · Most stars
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
The repository host gives no description.
- algokit
- lib
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
NBAda - An Ada library of lock-free data structures and algorithms.
Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language
- elixir
- elixir-lang
- distributed-systems
- hashing-algorithm
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
An expressive high level language for the Algorand block chain that compiles to TEAL code.
- blockchain
- algorand
- teal
- smartcontract