Haskell programming-language

Open-source Haskell projects categorized as programming-language

Top 22 Haskell programming-language Projects

programming-language
  1. unison

    A friendly programming language from the future

    Project mention: om | news.ycombinator.com | 2026-02-25

    Alt opinion: syntax is the least important part of a programming language. I can't wait for the day someone invents one where it's defined entirely as an AST (with the S standing for Semantic). Just bring your own weird syntax.

    I guess Unison is the closest to this platonic ideal right now? https://github.com/unisonweb/unison/issues/499

  2. SaaSHub

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

    SaaSHub 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: Nova Programming Language | news.ycombinator.com | 2025-12-08
  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. NeoHaskell

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

  10. lawvere

    A categorical programming language with effects (by jameshaydon)

  11. morloc

    A typed, polyglot, functional language

  12. acton

    The Acton Programming Language

  13. coda

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

  14. fp

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

  15. birb

    :bird: *cheep cheep shriek caw*

  16. 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
  17. wybe

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

  18. nanohs

    a self-hosting lambda calculus compiler

  19. zeolite-lang

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

  20. capri

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

  21. egison-pattern-src

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

  22. rail

    A self-hosting systems language that speaks TLS alone. Zero C dependencies. GC in ARM64 assembly. Pure-Rail TLS 1.3 + X.509 chain validation in v3.0.0. 4 backends. BSL 1.1. (by zemo-g)

    Project mention: Rail: A self-hosting language that speaks TLS alone | news.ycombinator.com | 2026-04-18
  23. tulip

    A Tiny, Untyped, Lazy, Interpreted, Pure language (by willmcpherson2)

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,640
2 Agda 2,862
3 lamdu 1,895
4 plutus 1,636
5 kitten 1,155
6 egison 926
7 kip 878
8 NeoHaskell 346
9 lawvere 307
10 morloc 214
11 acton 180
12 coda 163
13 fp 102
14 birb 101
15 TinyAPL 100
16 wybe 53
17 nanohs 37
18 zeolite-lang 20
19 capri 7
20 egison-pattern-src 5
21 rail 2
22 tulip 0

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

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