Pinned Loading

1. crytic/echidna crytic/echidna Public

   Ethereum smart contract fuzzer

   Haskell 2.7k 366

2. tarts tarts Public

   Timing attack resistant type systems

   Idris 24 1

3. EQUANIMITY3000 EQUANIMITY3000 Public

   Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000

   Python 1 1

4. trailofbits/indurative trailofbits/indurative Public

   Easily create authenticated data structures

   Haskell 43 4

5. trailofbits/umberto trailofbits/umberto Public archive

   poststructural fuzzing

   Haskell 31 4

6. Idris-Profunctors Idris-Profunctors Public

   A small profunctor library for idris

   Idris 16 6