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 Language Projects
-
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.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: Learning Elm by porting a medium-sized web front end from React (2019) | news.ycombinator.com | 2024-02-29
Project mention: Carp: A statically typed Lisp, without a GC, for real-time applications | news.ycombinator.com | 2024-03-11
Project mention: What downsides exist to Futhark? Seems almost too good to be true? | /r/CUDA | 2023-06-29Why Futhark? (futhark-lang.org)
While not quite a Forth, Kitten is a stack language:
https://kittenlang.org/
Project mention: Functional Declarative Design: A Comprehensive Methodology for Statically-Typed Functional Programming Languages | /r/haskell | 2023-06-02Thirdly, composing arbitrary effects without losing state is really, really difficult. Things are fine when you limit yourself to State and Reader, sure, but once you start with nondeterminism you’ll discover it’s shockingly easy to produce behaviors that are baffling unless you’ve spent a preposterous amount of time thinking about this stuff. (I’ve been bitten in prod by silent state-dropping bugs, and rarely have I been more flummoxed.) Consider this example, which produces silent changes in the semantics of <|> depending on whether you use it inside or outside of a higher-order effect. Every single effect library (besides the still-unreleased eff) gets certain combinations of effects + nondeterminism wrong. You could make the argument that most people don’t use nondeterministic monads, but eDSLs really shine when you have access to them, as you can turn a concrete interpreter to an abstract one fairly easily.
Haskell Language related posts
- Carp: A statically typed Lisp, without a GC, for real-time applications
- Axel: Haskell's Semantics + Lisp Macros
- I designed my own keyboard layout. Was it worth it?
- Ask HN: Looking for statically typed, No-GC and compiled Lisp/scheme
- NASA just sent a software update to a spacecraft 12B miles away
- Lisp in Space
- Carp
-
A note from our sponsor - WorkOS
workos.com | 27 Apr 2024
Index
What are some of the best open-source Language projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | purescript | 8,458 |
2 | Carp | 5,393 |
3 | futhark | 2,291 |
4 | liquidhaskell | 1,148 |
5 | cryptol | 1,107 |
6 | kitten | 1,074 |
7 | polysemy | 1,023 |
8 | brittany | 689 |
9 | DSLsofMath | 393 |
10 | ivory | 381 |
11 | haskell-tools-ast | 251 |
12 | frp-arduino | 246 |
13 | axel | 196 |
14 | morloc | 193 |
15 | haskell-src-exts | 193 |
16 | elsa | 180 |
17 | caledon | 162 |
18 | shentong | 160 |
19 | language-javascript | 157 |
20 | tal | 137 |
21 | liquid-fixpoint | 128 |
22 | type-of-html | 125 |
23 | hfmt | 125 |
Sponsored