GaloisInc/parameterized-utils

View on GitHub

A set of utilities for using indexed types including containers, equality, and comparison.

Stars: 59
Forks: 14
Open beginner issues: 0
Indexed issues: 29
Avg merge: 45m
Merged PRs (30d): 1

Dominant language: Haskell
License: BSD-3-Clause
Last GitHub push: Aug 27, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

29 open issues indexed

Lint CI configuration with `zizmor`? Open

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

GaloisInc/parameterized-utils#247 · 11 comments · Opened Jul 16, 2026
`withDivModNat` can crash when the divisor is zero Open

bug

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

GaloisInc/parameterized-utils#234 · Opened Jun 11, 2026
Define `Data.Parameterized.Fin.Unsafe` where `Fin` is a newtype Open

enhancement

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

GaloisInc/parameterized-utils#230 · Opened Jun 9, 2026
`Context.Unsafe.traverseWithIndex` is O(n log n) Open

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

GaloisInc/parameterized-utils#229 · Opened May 8, 2026
Drop dependency on `base-orphans` Open

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

GaloisInc/parameterized-utils#221 · Opened Jan 23, 2026
Support GHC 9.14 Open

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

GaloisInc/parameterized-utils#214 · 3 comments · Opened Jan 6, 2026
ci: Use `haskell-ci` recommended matrix for libraries Open

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

GaloisInc/parameterized-utils#200 · Opened Apr 23, 2025
doc: Document the versioning scheme in use by this package Open

GaloisInc/parameterized-utils#190 · 1 comment · 1 assignee · Opened Mar 21, 2025
doc: Provide developer documentation for preparing releases Open

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

GaloisInc/parameterized-utils#189 · 1 comment · Opened Mar 20, 2025
ci: Avoid duplicated builds for pull requests from feature branches Open

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

GaloisInc/parameterized-utils#186 · Opened Mar 19, 2025
Fix Haddock warnings Open

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

GaloisInc/parameterized-utils#180 · Opened Mar 11, 2025
Improve documentation for `Some` Open

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

GaloisInc/parameterized-utils#176 · 1 comment · Opened Feb 26, 2025
`Data.Parameterized.TH.GADT`: Offer a helper for automating `EqF` instances Open

enhancement

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

GaloisInc/parameterized-utils#175 · Opened Feb 25, 2025
`VoidF` Open

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

GaloisInc/parameterized-utils#169 · Opened Jan 31, 2025
Allow using `joinOrderingF` as a right-associative infix operator Open

enhancement

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

GaloisInc/parameterized-utils#157 · Opened Nov 9, 2023
Remove Safe Haskell pragmas Open

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

GaloisInc/parameterized-utils#149 · 3 comments · Opened Feb 8, 2023
`NFData` instance for `Assignment` isn't strict enough Open

bug

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

GaloisInc/parameterized-utils#137 · Opened May 2, 2022
Missing NFData instances Open

enhancement

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

GaloisInc/parameterized-utils#136 · 6 comments · Opened May 1, 2022
`structuralShowsPrec` with type patterns Open

enhancement

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

GaloisInc/parameterized-utils#130 · Opened Feb 7, 2022
TestEquality clarification from core library devs Open

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

GaloisInc/parameterized-utils#129 · 9 comments · Opened Feb 1, 2022
`Data.Parameterized.Vector`: offer function to extract underlying `Data.Vector.Vector` Open

enhancement

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

GaloisInc/parameterized-utils#125 · 1 comment · 2 reactions · Opened Nov 3, 2021
Discrepancies between derived Show instances and `structuralShowsPrec` Open

bug

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

GaloisInc/parameterized-utils#116 · Opened Jun 29, 2021
Compilation failure when `unsafe-operations` is disabled Open

bug

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

GaloisInc/parameterized-utils#113 · Opened May 19, 2021
Add some `NatRepr` lemmas Open

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

GaloisInc/parameterized-utils#91 · Opened Dec 8, 2020
Include `AssignTree` module Open

enhancement

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

GaloisInc/parameterized-utils#85 · Opened Jul 31, 2020
Include type-level map support for Contexts Open

enhancement

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

GaloisInc/parameterized-utils#84 · Opened Jul 30, 2020
Combine efforts on Data.Parameterized.Map and Data.Parameterized.Sum Open

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

GaloisInc/parameterized-utils#62 · 4 comments · Opened Sep 9, 2019
Clarify the conventions for parameterized classes Open

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

GaloisInc/parameterized-utils#23 · 3 comments · Opened Feb 1, 2019
Wrong Eq Assignment instance Open

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

GaloisInc/parameterized-utils#18 · 2 comments · Opened Jan 8, 2019

GaloisInc/parameterized-utils

Get new issues in your inbox