Owner

nick8325

3 indexed repositories · View on GitHub

quickcheck
Automatic testing of Haskell programs.

Haskell · 790 stars
quickspec
Equational laws for free

Haskell · 272 stars
jukebox
A theorem prover

Haskell · 17 stars

Beginner friendly Everything

Open All

Relax superclasses for instance Arbitrary Compose Open

Difficulty 2/5 1-3 hours Newbie friendliness 78/100

nick8325/quickcheck#481 · 8 comments · 1 reaction · Opened Aug 1, 2026
Use version milestones to label issues and PRs? Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

nick8325/quickcheck#475 · Opened Mar 4, 2026
Why there is Fixed and NoShrink, aren't these the same? Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

nick8325/quickcheck#469 · 2 comments · Opened Feb 12, 2026
Update to use twee-lib 2.6.1 Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

nick8325/quickspec#77 · Opened Jan 15, 2026
Cleanup of definitional modules Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#463 · 2 comments · Opened Jan 8, 2026
Clean up NonEmpty Open

Difficulty 2/5 1-3 hours Newbie friendliness 48/100

nick8325/quickcheck#457 · 1 comment · Opened Dec 17, 2025
Missing bounds for `base` break builds with QuicckCheck-2.17.0.0 (and probably more) Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

nick8325/quickcheck#438 · 2 comments · Opened Oct 7, 2025
Make it clearer that some modules are internals Open

nick8325/quickcheck#430 · 1 reaction · 1 assignee · Opened Jun 13, 2025
The "Hacking Agenda" Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

nick8325/quickcheck#428 · Opened Jun 12, 2025
Cannot compile as a dependency Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

nick8325/quickspec#76 · 1 comment · Opened May 3, 2025
Many calls to `tabulate` is slow Open

Difficulty 4/5 3-5 days Newbie friendliness 20/100

nick8325/quickcheck#416 · Opened Oct 22, 2024
hspec's `around` doesn't wrap shrunk quickcheck tests Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#413 · 3 comments · Opened Jul 19, 2024
Provide a way to check the mean of distribution of test cases' labels Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#409 · 4 comments · Opened Jun 18, 2024
Introduce time-bounded execution Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#402 · 7 comments · Opened May 14, 2024
Use results from previous tests to inform shrinks Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

nick8325/quickcheck#401 · 12 comments · 1 reaction · Opened May 13, 2024
Strictness for crashes interacts in funny ways with shrinking Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 45/100

nick8325/quickcheck#400 · Opened May 3, 2024
Events for Test Frameworks Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

nick8325/quickcheck#399 · Opened May 2, 2024
Witnesses of labelledExamples? Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

nick8325/quickcheck#395 · 2 comments · Opened Apr 19, 2024
Printing is slow! Open

performance

nick8325/quickcheck#352 · 3 comments · 1 assignee · Opened Mar 30, 2023
Add generating monotonic functions Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#348 · Opened Dec 7, 2022
haddocks for Test.QuickCheck.Random Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 30/100

nick8325/quickcheck#346 · 5 comments · Opened Aug 1, 2022
Generate value only once possible with xorshift random generator? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#341 · Opened Apr 1, 2022
Allow skipping to a specific test number or shrink state Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

nick8325/quickcheck#340 · Opened Mar 28, 2022
RFC: helpers for asserting after pattern match Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#334 · 1 comment · Opened Aug 12, 2021
Combining shrinking with resource usage is seemingly unsupported. Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#331 · 12 comments · Opened May 21, 2021
Pretty-show-ing the counterexample. Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#328 · 1 comment · Opened Feb 9, 2021
Provide `Shrinks` Applicative?! Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

nick8325/quickcheck#324 · 1 comment · Opened Dec 18, 2020
Semigroup Gen instance Open

Difficulty 3/5 1-2 days Newbie friendliness 38/100

nick8325/quickcheck#321 · 2 comments · 1 reaction · Opened Nov 19, 2020
Higher Kinded type arguments Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickspec#70 · Opened Oct 23, 2020
[Feature request] Fair shuffling Open

discussion

Difficulty 5/5 Over a week Newbie friendliness 35/100

nick8325/quickcheck#317 · 2 comments · Opened Oct 7, 2020
Language-specific formatters Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickspec#69 · Opened Sep 25, 2020
Delimited defaultTo Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickspec#67 · Opened Aug 19, 2020
Default "monoid" signature? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickspec#66 · 1 comment · Opened Aug 19, 2020
Add quickcheck examples to shrinking challenge Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

nick8325/quickcheck#313 · 1 comment · Opened Aug 18, 2020
Bug: QuickCheck output doesn't give types to polymorphic terms Open

Difficulty 3/5 1-2 days Newbie friendliness 42/100

nick8325/quickspec#64 · 2 comments · Opened Aug 13, 2020
Color output Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 40/100

nick8325/quickcheck#307 · 4 comments · Opened Jul 8, 2020
Feature request: "what does this equal?" mode Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickspec#59 · 1 comment · Opened Jun 27, 2020
Function leaks out of background Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

nick8325/quickspec#58 · 3 comments · Opened Jun 26, 2020
Bug: the ForQuickCheck printer produces syntactically invalid tests when run in series: Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

nick8325/quickspec#57 · 1 comment · Opened Jun 25, 2020
Feature request: property-based observation Open

Difficulty 4/5 3-5 days Newbie friendliness 28/100

nick8325/quickspec#56 · Opened Jun 25, 2020
Feature request: search for laws with a specific shape Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

nick8325/quickspec#55 · Opened Jun 25, 2020
QS duplicates laws Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

nick8325/quickspec#49 · 1 comment · Opened Jun 24, 2020
Background predicates don't appear as conditionals in laws Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

nick8325/quickspec#46 · Opened Jun 16, 2020
Example usage of predicateGen? Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

nick8325/quickspec#45 · Opened Jun 16, 2020
Simple signature OOMs Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

nick8325/quickspec#42 · 1 comment · Opened Jun 2, 2020
Why is quickspec introducing type variables in monomorphic code? Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

nick8325/quickspec#41 · 3 comments · Opened Jun 1, 2020
Extract Number Wrappers Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

nick8325/quickcheck#286 · Opened Jan 28, 2020
CoArbitrary1 Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

nick8325/quickcheck#285 · 1 comment · Opened Dec 30, 2019
Test.QuickCheck.Shrinking without Arbitrary Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

nick8325/quickcheck#273 · 1 comment · Opened Nov 8, 2019
`coverTable` is silent if key isn't `tabulate`d Open

discussion

Difficulty 3/5 1-2 days Newbie friendliness 25/100

nick8325/quickcheck#254 · 8 comments · Opened Apr 16, 2019

nick8325

Get new issues in your inbox