Pinned

1. crytic/echidna

   Ethereum smart contract fuzzer

   Haskell 615 96

2. tarts

   Timing attack resistant type systems

   Idris 23 1

3. EQUANIMITY3000

   Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000

   Python 1 1

4. trailofbits/indurative

   Easily create authenticated data structures

   Haskell 35 1

5. trailofbits/umberto

   poststructural fuzzing

   Haskell 23 2

6. Idris-Profunctors

   A small profunctor library for idris

   Idris 14 4