Protocol Security @ethereum
-
Ethereum Foundation
- Zlín, Czech Republic
- https://nikosbaxevanis.com
- @nikosbaxevanis
Stars
9
stars
written in Haskell
Clear filter
Release with confidence, state-of-the-art property testing for Haskell.
Test monadic programs using state machine based models
A library to integrate hedgehog tests into your hspec test suite.
A model checking tutorial, written in literate Haskell
haskell-hedgehog's model-based state machine testing together with clr-inline (C#)
Pure Haskell and F# implementations of SplitMix pseudo-random number generator. Passes all dieharder tests.
Generic deriving of Read/Show with no record labels.