Haskell Language

Open-source Haskell projects categorized as Language
Edit details
Haskell Parser Compiler Web Data
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
sponsored

Top 23 Haskell Language Projects

Haskell logo
Language

  1. purescript

    A strongly-typed language that compiles to JavaScript

    Project mention: 🐘 Like... TypeScript for PHP? Yes. And it's not what you think | dev.to | 2026-07-20

    It is no longer a proof of concept. It is passing the official PureScript test suite, and it is ready for production.

  2. AppSignal

    AppSignal knows why the f*#k it crashed. Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.

    AppSignal logo

  3. Carp

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

    Project mention: RacketCon Is Saturday | news.ycombinator.com | 2026-10-01

    I was hoping for a discussion to stem out of this..

    I wonder what the status of Carp is -- a Lisp with a borrow checker:

    https://github.com/carp-lang/Carp

    And I'm not a React developer, but it always struck me as something a Lisp hacker would come up with.

  4. futhark

    :boom::computer::boom: A data-parallel functional programming language

    Project mention: Why Futhark? | news.ycombinator.com | 2026-06-19

  5. liquidhaskell

    Liquid Types For Haskell

  6. cryptol

    Cryptol: The Language of Cryptography

  7. kitten

    A statically typed concatenative systems programming language.

  8. polysemy

    :gemini: higher-order, no-boilerplate monads

  9. SaaSHub

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

    SaaSHub logo

  10. brittany

    haskell source code formatter

  11. DSLsofMath

    Domain-Specific Languages of Mathematics

  12. ivory

    The Ivory EDSL

  13. haskell-tools-ast

    Developer tools for Haskell

  14. frp-arduino

    Arduino programming without the hassle of C.

  15. morloc

    A strongly-typed, polyglot compiler

    Project mention: Show HN: Typed polyglot compiler for CLI/API/MCP generation | news.ycombinator.com | 2026-09-22

  16. axel

    Haskell + Lisp (by axellang)

  17. haskell-src-exts

    Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

  18. elsa

    Elsa is a lambda calculus evaluator (by ucsd-progsys)

  19. acton

    Actor-based, safely typed, fast programming language.

  20. caledon

    higher order dependently typed logic programing

  21. shentong

    A Haskell implementation of the Shen programming language.

  22. liquid-fixpoint

    Horn Clause Constraint Solving for Liquid Types

  23. language-javascript

    Parser for JavaScript, in Haskell

  24. tal

    An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

  25. camfort

    Light-weight verification and transformation tools for Fortran

  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 Language discussion

Log in or Post with

Haskell Language related posts

Index

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

# Project Stars
1 purescript 8,913
2 Carp 6,058
3 futhark 2,806
4 liquidhaskell 1,335
5 cryptol 1,222
6 kitten 1,165
7 polysemy 1,073
8 brittany 686
9 DSLsofMath 449
10 ivory 414
11 haskell-tools-ast 251
12 frp-arduino 249
13 morloc 219
14 axel 214
15 haskell-src-exts 204
16 elsa 192
17 acton 189
18 caledon 174
19 shentong 168
20 liquid-fixpoint 167
21 language-javascript 161
22 tal 150
23 camfort 143

Sponsored
AppSignal knows why the f*#k it crashed.
Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.
www.appsignal.com
Loading...