The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. 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.
Project mention: [ANNOUNCE] New release of SBV with support for quantifiers | /r/haskell | 2023-04-15A set of first-order-logic examples are included in the release. As usual, bug reports, comments, and contributions are most welcome at the github repo.
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
-
-
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
We’ll also use contravariant-extras, vector, profunctors, and tuple packages to make a few things tidier (this isn’t required; it’s all copy-paste anyway).
-
-
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 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 - WorkOS
workos.com | 28 Mar 2024
Index
What are some of the best open-source Util projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | sbv | 233 |
2 | herms | 199 |
3 | djinn | 125 |
4 | hocker | 112 |
5 | herbalizer | 112 |
6 | thank-you-stars | 105 |
7 | constraints | 70 |
8 | shellmet | 69 |
9 | profunctors | 69 |
10 | una | 68 |
11 | scat | 47 |
12 | headroom | 46 |
13 | errata | 45 |
14 | mios | 39 |
15 | autoexporter | 32 |
16 | jobqueue | 32 |
17 | harg | 30 |
18 | dualizer | 29 |
19 | hkgr | 27 |
20 | http-enumerator | 27 |
21 | vigilance | 25 |
22 | sync-mht | 22 |
23 | hscope | 22 |