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
featured

Top 23 Haskell Language Projects

Haskell logo
Language

  1. purescript

    A strongly-typed language that compiles to JavaScript

    Project mention: Play: UI Layouts in PureScript | dev.to | 2026-01-10

    With this article I hope to attract more attention to the languages like PureScript, or Unison or LEAN, or Haskell or Elm and its descendants, because they not only bring mathematical beauty in the world (I say it from the position of the guy who totally didn't like maths at school, though gladly read books from Martin Gardner or Lewis Carroll about Logic), but also the code written using them is stable, easy to reason, and brings joy.

  2. SaaSHub

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

    SaaSHub logo

  3. Carp

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

    Project mention: Rust but Lisp | news.ycombinator.com | 2026-05-09

  4. futhark

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

    Project mention: Show HN: Lockstep – A data-oriented programming language | news.ycombinator.com | 2026-03-15

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

    haskell source code formatter

  10. DSLsofMath

    Domain-Specific Languages of Mathematics

  11. ivory

    The Ivory EDSL

  12. haskell-tools-ast

    Developer tools for Haskell

  13. frp-arduino

    Arduino programming without the hassle of C.

  14. morloc

    A typed, polyglot, functional language

  15. axel

    Haskell + Lisp (by axellang)

  16. haskell-src-exts

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

  17. elsa

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

  18. acton

    The Acton Programming Language

  19. caledon

    higher order dependently typed logic programing

  20. shentong

    A Haskell implementation of the Shen programming language.

  21. liquid-fixpoint

    Horn Clause Constraint Solving for Liquid Types

  22. language-javascript

    Parser for JavaScript, in Haskell

  23. tal

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

  24. camfort

    Light-weight verification and transformation tools for Fortran

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,871
2 Carp 5,932
3 futhark 2,737
4 liquidhaskell 1,312
5 cryptol 1,209
6 kitten 1,155
7 polysemy 1,076
8 brittany 687
9 DSLsofMath 447
10 ivory 409
11 haskell-tools-ast 250
12 frp-arduino 249
13 morloc 214
14 axel 214
15 haskell-src-exts 202
16 elsa 192
17 acton 180
18 caledon 174
19 shentong 168
20 liquid-fixpoint 161
21 language-javascript 161
22 tal 150
23 camfort 143

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Loading...