Haskell Language

Open-source Haskell projects categorized as Language

Top 23 Haskell Language Projects

  1. purescript

    A strongly-typed language that compiles to JavaScript

    Project mention: An Ode to TypeScript Enums | news.ycombinator.com | 2025-03-02

    When I see this it makes me want to run for ReasonML/ReScript/Elm/PureScript.

    Sum types (without payloads on the instances they are effectively enums) should not require a evening filling ceremonial dance event to define.

    https://reasonml.github.io/

    https://rescript-lang.org/

    https://elm-lang.org/

    https://www.purescript.org/

    (any I forgot?)

    It's nice that TS is a strict super set of JS... But that's about the only reason TS is nice. Apart from that the "being a strict super set" hampers TS is a million and one ways.

    To my JS is too broken to fix with a strict super set.

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. Carp

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

    Project mention: Lisp Implemented in Rust Macros | news.ycombinator.com | 2024-09-13

    Obligatory reference to Carp[1], the lisp that uses borrow checking; the "rust" of lisps.

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

  4. futhark

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

    Project mention: What about K? | news.ycombinator.com | 2025-02-10

    Not exactly the approach your describing, but Futhark[0] offers an alternative to CPU execution, it compiles to CUDA or OpenCL to run on GPU (or multi-threaded CPU).

    [0] https://futhark-lang.org/

  5. Tidal

    Pattern language

    Project mention: Haskell: A Great Procedural Language | news.ycombinator.com | 2025-01-19
  6. liquidhaskell

    Liquid Types For Haskell

  7. cryptol

    Cryptol: The Language of Cryptography

  8. kitten

    A statically typed concatenative systems programming language.

    Project mention: As you learn Forth, it learns from you (1981) | news.ycombinator.com | 2024-06-22
  9. SaaSHub

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

    SaaSHub logo
  10. polysemy

    :gemini: higher-order, no-boilerplate monads

  11. brittany

    haskell source code formatter

  12. DSLsofMath

    Domain-Specific Languages of Mathematics

  13. ivory

    The Ivory EDSL

  14. haskell-tools-ast

    Developer tools for Haskell

  15. frp-arduino

    Arduino programming without the hassle of C.

  16. axel

    Haskell + Lisp (by axellang)

  17. morloc

    A typed, polyglot, functional language

  18. haskell-src-exts

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

  19. elsa

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

  20. caledon

    higher order dependently typed logic programing

  21. shentong

    A Haskell implementation of the Shen programming language.

  22. language-javascript

    Parser for JavaScript, in Haskell

  23. liquid-fixpoint

    Horn Clause Constraint Solving for Liquid Types

  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,666
2 Carp 5,624
3 futhark 2,474
4 Tidal 2,376
5 liquidhaskell 1,228
6 cryptol 1,148
7 kitten 1,105
8 polysemy 1,041
9 brittany 689
10 DSLsofMath 429
11 ivory 396
12 haskell-tools-ast 250
13 frp-arduino 248
14 axel 208
15 morloc 196
16 haskell-src-exts 196
17 elsa 185
18 caledon 170
19 shentong 166
20 language-javascript 159
21 liquid-fixpoint 144
22 tal 143
23 camfort 128

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that Haskell is
the 25th most popular programming language
based on number of references?