SaaSHub helps you find the best software and product alternatives Learn more →
Liquidhaskell Alternatives
Similar projects and alternatives to liquidhaskell
-
-
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.
-
-
-
-
-
-
Stream
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
-
-
-
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better liquidhaskell alternative or higher similarity.
liquidhaskell discussion
liquidhaskell reviews and mentions
Posts with mentions or reviews of liquidhaskell. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-10-11.
- Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf]
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.
- liquidhaskell ghc9に対応したリリース出てたの知らなんだ
- LiquidHaskell plugin build failed
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
- A note from our sponsor - SaaSHub www.saashub.com | 20 Dec 2025
Stats
Basic liquidhaskell repo stats
5
1,275
9.6
3 days ago
ucsd-progsys/liquidhaskell is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of liquidhaskell is Haskell.
Popular Comparisons
- liquidhaskell VS purescript
- liquidhaskell VS language-lua
- liquidhaskell VS foma
- liquidhaskell VS portable-template-haskell-lens
- liquidhaskell VS language-dot
- liquidhaskell VS polysemy
- liquidhaskell VS language-python
- liquidhaskell VS haskell-tools-ast
- liquidhaskell VS language-thrift
- liquidhaskell VS liquid-fixpoint
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