Haskell refinement-types

Open-source Haskell projects categorized as refinement-types
Edit details
Haskell Language SMT Verification
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Haskell refinement-type Projects

refinement-types

  1. liquidhaskell

    Liquid Types For Haskell

    Project mention: Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] | news.ycombinator.com | 2025-04-07

    I am not sure, but as a Typescripter, I think I'd find refinement types easier - https://github.com/ucsd-progsys/liquidhaskell

    I am not sure if they serve the same purpose or how the venn diagrams overlap on this, but in 2000 I loved the idea of the assersion in Ada, and I love even more the idea the type system can prove your number is between 1 and 10 (etc.).

    I reckon it occasionally will catch a bug, but more than that is perfect documentation. I don't want delay to be an int, I want it to be a RateLimitBackoffDelaySeconds which is between >0 and <60, for example.

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
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).

Haskell refinement-types discussion

Log in or Post with

Haskell refinement-types related posts

  • Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf]

    1 project | news.ycombinator.com | 7 Apr 2025

  • liquidhaskell ghc9に対応したリリース出てたの知らなんだ

    1 project | /r/u_Dazzling_Finger_8120 | 10 Feb 2023

  • LiquidHaskell plugin build failed

    3 projects | /r/haskell | 11 Oct 2021

Index

# Project Stars
1 liquidhaskell 1,239

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?

Loading...