Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR. Learn more â
Top 23 Haskell Util Projects
-
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
scat
Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.
-
-
-
-
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Haskell Utils discussion
Haskell Utils related posts
-
How to use PostgreSQL with Haskell: hasql
-
A Neighborhood of Infinity: The Type that Should Not Be
-
The Haskell Unfolder Episode 2: quantified constraints
-
[ANNOUNCE] New release of SBV with support for quantifiers
-
GHC 7.4 gave us the ability to talk about ConstraintKinds. They stopped crashing the compiler in GHC 7.6
-
[ANN] diagnose - easily create error diagnostics for your compiler/interpreter
-
Alternative to arrows?
-
A note from our sponsor - CodeRabbit
coderabbit.ai | 9 Feb 2025
Index
What are some of the best open-source Util projects in Haskell? This list will help you:
# | Project | Stars |
---|---|---|
1 | sbv | 250 |
2 | herms | 198 |
3 | djinn | 129 |
4 | hocker | 117 |
5 | herbalizer | 114 |
6 | thank-you-stars | 106 |
7 | constraints | 71 |
8 | shellmet | 71 |
9 | profunctors | 70 |
10 | una | 69 |
11 | scat | 49 |
12 | headroom | 48 |
13 | errata | 47 |
14 | mios | 39 |
15 | jobqueue | 32 |
16 | autoexporter | 32 |
17 | dualizer | 30 |
18 | hkgr | 30 |
19 | harg | 29 |
20 | http-enumerator | 27 |
21 | vigilance | 25 |
22 | sync-mht | 22 |
23 | hscope | 22 |