Haskell programming-language

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

Top 23 Haskell programming-language Projects

Haskell logo
programming-language

  1. unison

    A friendly programming language from the future

    Project mention: Unison: A friendly programming language from the future | news.ycombinator.com | 2026-09-14

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

    Agda is a dependently typed programming language / interactive theorem prover.

  4. lamdu

    lamdu - towards the next generation IDE

  5. plutus

    The Plutus language implementation and tools

  6. kitten

    A statically typed concatenative systems programming language.

  7. egison

    The Egison Programming Language

    Project mention: The Egison Programming Language | news.ycombinator.com | 2026-08-12

  8. kip

    A programming language in Turkish where grammatical case and mood are part of the type system. (by kip-dili)

    Project mention: A programming language based on grammatical cases of Turkish | news.ycombinator.com | 2026-01-17

  9. SaaSHub

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

    SaaSHub logo

  10. grace

    A prompt engineering functional programming language (by Gabriella439)

    Project mention: Software 3.1? – AI Functions | news.ycombinator.com | 2026-02-24

    The "Grace" language is based on the same idea, but lets you get the full benefit of specifying static types.

    https://github.com/Gabriella439/grace

  11. NeoHaskell

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

  12. lawvere

    A categorical programming language with effects (by jameshaydon)

  13. morloc

    A strongly-typed, polyglot compiler

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

  14. acton

    Actor-based, safely typed, fast programming language.

  15. CPL

    An interpreter of Hagino's Categorical Programming Language (CPL).

  16. coda

    A language experiment -- irc.freenode.net ##coda (by ekmett)

  17. TinyAPL

    TinyAPL, a tiny APL dialect and interpreter in Haskell

    Project mention: TinyAPL, a tiny APL dialect and interpreter in Haskell | news.ycombinator.com | 2026-03-20

  18. birb

    :bird: *cheep cheep shriek caw*

  19. fp

    A small, weird and unpractical programming language. (by japiirainen)

  20. wybe

    A programming language supporting most features of both declarative and imperative languages

  21. nanohs

    a self-hosting lambda calculus compiler

  22. zeolite-lang

    Zeolite is a statically-typed, general-purpose programming language.

  23. capri

    Statically typed programming language with emphasis on functional programming, compiles to LLVM IR.

  24. egison-pattern-src

    Manipulating Egison patterns: abstract syntax, parser, and pretty-printer

  25. pudu-lang

    A statically typed, expression-oriented language for services, tools, and native applications. Failure is a value, absence is explicit, and every match is exhaustive. One executable checks, runs, tests, formats, lints, documents, and bundles programs, and serves editors over LSP.

    Project mention: Pudu Programming Language | dev.to | 2026-09-18

  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 programming-language discussion

Log in or Post with

Haskell programming-language related posts

Index

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

# Project Stars
1 unison 6,742
2 Agda 2,933
3 lamdu 1,894
4 plutus 1,632
5 kitten 1,173
6 egison 930
7 kip 881
8 grace 619
9 NeoHaskell 347
10 lawvere 309
11 morloc 219
12 acton 189
13 CPL 181
14 coda 163
15 TinyAPL 108
16 birb 103
17 fp 102
18 wybe 55
19 nanohs 36
20 zeolite-lang 20
21 capri 6
22 egison-pattern-src 5
23 pudu-lang 3

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

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

Loading...