msakai's Repositories

msakai / toysolver

72%

Build #740: Merge pull request #186 from msakai/cleanup-202505 Cleaning up (2025-05) on branch master 3 days ago

master: 72%

msakai / pseudo-boolean

93%

Build #132: release v0.1.12.0 on branch HEAD about 1 month ago

HEAD: 92%

msakai / bytestring-encoding

73%

Build #74: Merge pull request #14 from msakai/update-stack-resolver-202503 Update stack resolvers... on branch master 2 months ago

master: 73%

msakai / haskell-MIP

77%

Build #246: Merge 843abba85b80f70d6fedf28200d875f95a0fd4c8 into 96285dc202b556aa87d59b59572ba527e6a... on branch HEAD 3 months ago

HEAD: 77%

msakai / sign

90%

Build #33: relax hashable upper bound to allow hashable-1.5.* on branch master 6 months ago

master: 90%

msakai / haskell-sequitur

59%

Build #69: Merge pull request #18 from MangoIV/mangoiv/bump-containers [chore] bump containers to... on branch main 7 months ago

main: 59%

msakai / haskell-decision-diagrams

88%

Build #227: Merge pull request #33 from msakai/update-stack-lts-202208 on branch main over 2 years ago

main: 88%

msakai / extended-reals

92%

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

HEAD: 92%

msakai / finite-field

72%

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

master: 72%

msakai / data-interval

87%

Build #32: Add lower bound for tasty-quickcheck on branch master almost 3 years ago

master: 87%