Haskell refinement-types

Open-source Haskell projects categorized as refinement-types Edit details

Haskell refinement-type Projects

  • liquidhaskell

    Liquid Types For Haskell

    Project mention: LiquidHaskell plugin build failed | reddit.com/r/haskell | 2021-10-11

    master should already be GHC 9 ready, it just so it happens that we didn't released it on Hackage due to the fact that, practically speaking, GHC 9.0.2 is not very widely used as I think we had some minor issues, but in principle it should work, at least with cabal: https://github.com/ucsd-progsys/liquidhaskell/blob/develop/cabal.ghc9.project

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-10-11.

Haskell refinement-types related posts

Index

Project Stars
1 liquidhaskell 984
Find remote jobs at our new job board 99remotejobs.com. There are 3 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com