Liquid Haskell
Liquid Haskell is a refinement type checker for Haskell programs.
Github:
- 101510154561202012
Workflow integration:
- cli
Official Liquid Haskell Homepage
https://github.com/ucsd-progsys/liquidhaskell
BSD 3-Clause "New" or "Revised" License
Maintained