Haskell programming-language

Open-source Haskell projects categorized as programming-language

Top 19 Haskell programming-language Projects

  • unison

    A friendly programming language from the future

    Project mention: C++ evolution vs C++ successor languages. Circle's feature pragmas let you select your own "evolver language." | reddit.com/r/cpp | 2023-01-23

    in haskell it looks like this, you specify the language extensions you want at the top of the source files: https://github.com/unisonweb/unison/blob/trunk/unison-core/src/Unison/ABT.hs

  • wasp

    The fastest way to develop full-stack web apps with React & Node.js.

    Project mention: Let's Build a Compiler (1988) | news.ycombinator.com | 2023-05-25

    Although AI has been all the rage lately, I was actually always excited the most by building a compiler. After a few years of dabbling with it, I created one together with my brother: https://github.com/wasp-lang/wasp

    It is a DSL (a simple config language for building web apps) so not that complicated as a Turing-complete language, but still a lot of concepts remain.

    As a good starting resources for building your own compiler I'd also recommend Crafting Interpreters, super nicely explained and fun to go through: https://craftinginterpreters.com/


    ONLYOFFICE Docs — document collaboration in your environment. Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises

  • Agda

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

    Project mention: What are the current hot topics in type theory and static analysis? | reddit.com/r/ProgrammingLanguages | 2023-05-08

    Most of the proof assistants out there: Lean, Coq, Dafny, Isabelle, F*, Idris 2, and Agda. And the main concepts are dependent types, Homotopy Type Theory AKA HoTT, and Category Theory. Warning: HoTT and Category Theory are really dense, you're going to really need to research them.

  • lamdu

    lamdu - towards the next generation IDE

    Project mention: Recommendations for learning GUI programming? | reddit.com/r/haskell | 2023-03-18
  • plutus

    The Plutus language implementation and tools

    Project mention: Are you disappointed/happy with current daps? | reddit.com/r/cardano | 2022-07-24

    Plutus-related issues in Plutus repo https://github.com/input-output-hk/plutus/issues Cardano node-related issues in the Cardano node repo https://github.com/input-output-hk/cardano-node

  • kitten

    A statically typed concatenative systems programming language.

    Project mention: Atunci când cauți de muncă și nu te mai angajează nimeni | reddit.com/r/programare | 2023-04-23
  • egison

    The Egison Programming Language

    Project mention: The Egison Programming Language | reddit.com/r/patient_hackernews | 2023-04-29
  • CodiumAI

    TestGPT | Generating meaningful tests for busy devs. Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.

  • lawvere

    A categorical programming language with effects (by jameshaydon)

  • morloc

    A typed, polyglot, functional language

  • coda

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

  • disco

    Functional teaching language for use in a discrete mathematics course (by disco-lang)

  • fp

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

    Project mention: Show HN: A small, weird and unpractical programming language | news.ycombinator.com | 2022-10-31

    Did you click on the link to the github repo?


  • wybe

    A programming language supporting most of both declarative and imperative programming

  • frea

    A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

  • zeolite-lang

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

  • capri

    A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR.

  • adduce

    The interpreter for the Adduce programming language.

    Project mention: July 2022 monthly "What are you working on?" thread | reddit.com/r/ProgrammingLanguages | 2022-07-01

    Since discovering and being inspired by Cognate, I've begun work on somewhat of a sister language called Adduce, with u/stavro-mueller-beta's blessing. It's honestly been kind of a whirlwind so far - over the course of about a week, I threw together a hacky Javascript interpreter to sketch out my ideas for the language, then rewrote it in Haskell for more permanent development. The language is currently in a mostly working state, though missing a lot of features; the biggest pain points so far have been mostly related to scoping and exception handling, since I'm implementing a dynamically typed, interpreted, mostly-procedural language in a language that is very much neither, and I'd give a tentative guess that just figuring out how to make the latter work at all took over half the development time of the Haskell version so far.

  • egison-pattern-src

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

  • tulip

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

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

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). The latest post mention was on 2023-05-25.

Haskell programming-language related posts


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

Project Stars
1 unison 5,204
2 wasp 2,797
3 Agda 2,108
4 lamdu 1,826
5 plutus 1,453
6 kitten 1,029
7 egison 885
8 lawvere 230
9 morloc 187
10 coda 155
11 disco 137
12 fp 103
13 wybe 38
14 frea 16
15 zeolite-lang 16
16 capri 8
17 adduce 7
18 egison-pattern-src 5
19 tulip 0
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.