msakai's Repositories

msakai / bytestring-encoding
65%

Build #57: Merge pull request #11 from msakai/update-stack-hpc-coveralls Update stack-hpc-coveralls on branch master 3 months ago

msakai / haskell-decision-diagrams
88%

Build #227: Merge pull request #33 from msakai/update-stack-lts-202208 on branch main about 1 year ago

msakai / extended-reals

92%

HEAD: 92%

Build #11: <a href="https://github.com/msakai/extended-reals/commit/533870ef136be1aa39e239d285f752... on branch HEAD about 1 year ago

msakai / toysolver
71%

Build #361: Merge pull request #92 from msakai/ghc-9.4 on branch master about 1 year ago

msakai / finite-field
72%

Build #6: GitHub Actions: create source tarball by 'stack sdist' on branch master over 2 years ago

msakai / data-interval
87%

Build #32: Add lower bound for tasty-quickcheck on branch master over 1 year ago

msakai / sign
96%

Build #24: stack: use lts-19.19 (ghc-9.0.2) on branch master about 1 year ago

msakai / haskell-MIP

58%

HEAD: 58%

Build #107: <a href="https://github.com/msakai/haskell-MIP/commit/67c8881919bf637877cfb103e6d021e27... on branch HEAD 12 months ago

msakai / pseudo-boolean
94%

Build #45: relax upper bound of base package to allow base-4.17 (i.e. GHC-9.4) on branch master about 1 year ago