Haskell Functional programming

Open-source Haskell projects categorized as Functional programming

Top 23 Haskell Functional programming Projects

Functional programming
  1. Carp

    A statically typed lisp, without a GC, for real-time applications.

    Project mention: Jank Programming Language | news.ycombinator.com | 2025-07-06

    Rich has many great ideas and he founded Clojure. I respect him deeply. On typing, however, we do not agree entirely.

    For a practical example of a Clojure-like language with a completely static type system (with affine typing), see Carp. https://github.com/carp-lang/Carp

    I don't see why there can't be a Carp mode in jank, with bridges in place to connect the Clojurey world from the Carpy world. This would allow jank users to develop interactively to start with, figure out their shapes, use the REPL, etc. Then, if they want, they can lock down some parts of the code for both performance and correctness gains.

  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
  3. Kind

    A modern proof language (by HigherOrderCO)

  4. write-you-a-haskell

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  5. eta

    The Eta Programming Language, a dialect of Haskell on the JVM

    Project mention: Java at 30: The Genius Behind the Code That Changed Tech | news.ycombinator.com | 2025-05-16

    > Haskell

    https://github.com/Frege/frege

    https://github.com/typelead/eta

    Of the others you mentioned, I bet there's a couple JVM Prologs out there, but haven't encountered any myself.

  6. wiwinwlh

    What I Wish I Knew When Learning Haskell

    Project mention: Ask HN: What resources do you recommend for learning Haskell? | news.ycombinator.com | 2024-07-21
  7. Gifcurry

    😎 The open-source, Haskell-built video editor for GIF makers.

  8. course-plan

    📜 Haskell course info, plan, video lectures, slides

  9. 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.

    Stream logo
  10. codeworld

    Educational computer programming environment using Haskell

  11. grin

    GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. (by grin-compiler)

  12. egison

    The Egison Programming Language

  13. haskell-exercises

    A little course to learn about some of the more obscure GHC extensions.

  14. DSLsofMath

    Domain-Specific Languages of Mathematics

  15. Haskell

  16. csound-expression

    Haskell Framework for Electronic Music

  17. NeoHaskell

    ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

    Project mention: Fighting spam with Haskell at Meta (2015) | news.ycombinator.com | 2024-12-22

    Haskell could be a great practical language if some constraints were introduced, e.g. limiting the language extensions used. https://www.simplehaskell.org attempted to do this and, currently, https://neohaskell.org is going in the same direction. After all, Haskell '98 is not that hard.

    Personally, I think Haskell, or something like Haskell, is going to be reasonably popular in the near future. Functional programming and an expressive type system are great for ML-powered synthesis. You provide the type signature, and the machine fills in the function body. Furthermore, with dependent or refinement types, the solution can be verified to be correct.

  18. dunai

    Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

  19. tensor-safe

    A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

  20. birb

    :bird: *cheep cheep shriek caw*

    Project mention: Birb: Programming with Bird Emojis | news.ycombinator.com | 2024-07-13
  21. shopping-cart-haskell

    :gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

  22. fp-notes

    Notes on Functional Programming and related topics

  23. ariel

    A simple, purely-functional programming language

  24. titan

    Testing Infrastructure for Temporal AbstractioNs

  25. manual-stg-experiment

    Manually constructed STG programs compiled with the standard GHC codegen backend.

  26. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub 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 Functional programming discussion

Log in or Post with

Haskell Functional programming related posts

Index

What are some of the best open-source Functional programming projects in Haskell? This list will help you:

# Project Stars
1 Carp 5,678
2 Kind 3,685
3 write-you-a-haskell 3,391
4 eta 2,621
5 wiwinwlh 2,581
6 Gifcurry 1,394
7 course-plan 1,414
8 codeworld 1,258
9 grin 1,039
10 egison 920
11 haskell-exercises 649
12 DSLsofMath 440
13 Haskell 397
14 csound-expression 328
15 NeoHaskell 313
16 dunai 220
17 tensor-safe 102
18 birb 95
19 shopping-cart-haskell 64
20 fp-notes 29
21 ariel 25
22 titan 23
23 manual-stg-experiment 23

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?