Shadowgraph
TrendingAbout
Sign in

well-typed/falsify

Haskell

52

183 commits

updated Jul 1, 2026

See the code

README

falsify—internal shrinking reimagined for Haskell

Contributors

edsko

164 commits

ejconlon

6 commits

pgujjula

6 commits

sjoerdvisscher

2 commits

Similar repos

hbnnnnnnn/fuzzy-engine

0

mv302/faer-synesis

0

maxbube/null

0

haskell-lang/haskell-lang

haskell-lang.org website

146

aiskylimit/new_nothing

0

sweirich/challenge

Strongly-typed System F in Haskell

122

nponeccop/haskell-exercises

41

msp-strath/ask

being a particular fragment of Haskell, extended to a proof system

45

Languages

Haskell

100.0%

well-typed/falsify

Haskell

52

183 commits

updated Jul 1, 2026

See the code

README

falsify—internal shrinking reimagined for Haskell

Similar repos

hbnnnnnnn/fuzzy-engine

0

mv302/faer-synesis

0

maxbube/null

0

haskell-lang/haskell-lang

haskell-lang.org website

146

aiskylimit/new_nothing

0

sweirich/challenge

Strongly-typed System F in Haskell

122

nponeccop/haskell-exercises

41

msp-strath/ask

being a particular fragment of Haskell, extended to a proof system

45

Contributors

edsko

164 commits

ejconlon

6 commits

pgujjula

6 commits

sjoerdvisscher

2 commits

Languages

Haskell

100.0%