Haskell programming-language

Open-source Haskell projects categorized as programming-language | Edit details

Top 15 Haskell programming-language Projects

  • GitHub repo unison

    A friendly programming language from the future

    Project mention: What if Git worked with Programming Languages? | news.ycombinator.com | 2021-09-27
  • GitHub repo lamdu

    lamdu - towards the next generation IDE

    Project mention: Lamdu 0.8 released! | reddit.com/r/lamdu | 2021-09-08
  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  • GitHub repo Agda

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

    Project mention: What input method would you prefer for Unicode characters in a neovim plugin? | reddit.com/r/agda | 2021-10-18

    My best guess is that it has not really been maintained lately, there were only 12 commits in the last 7 years, some of which are just global modifications, which include this file as well: https://github.com/agda/agda/commits/136f85386ec43245745b76f03505bda4f5d1ed3f/src/full/Agda/Interaction/Highlighting/Vim.hs

  • GitHub repo wasp

    A programming language that understands what a web app is.

    Project mention: How to pick a side project for coding interviews | dev.to | 2021-12-02

    For an excellent readme example, checkout Wasp:https://github.com/wasp-lang/wasp!

  • GitHub repo plutus

    The Plutus language implementation and tools

    Project mention: Why does the same smart contract need to be included with every utxo? | reddit.com/r/CardanoDevelopers | 2021-12-03

    There is a discussion on GitHub about this. The second solution in MPJs reply is what you are suggesting.

  • GitHub repo kitten

    A statically typed concatenative systems programming language.

    Project mention: my cat is installing debian 10 | reddit.com/r/linuxmemes | 2021-10-20

    Kitten lang

  • GitHub repo egison

    The Egison Programming Language

    Project mention: I want to know about some weird non esoteric programming languages | reddit.com/r/ProgrammingLanguages | 2021-07-28

    Egison is weird https://www.egison.org -- it takes a single concept (pattern matching) and pushes it as far as it will go.

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

  • GitHub repo lawvere

    A categorical programming language with effects

    Project mention: Lawvere: A categorical programming language with effects | news.ycombinator.com | 2021-07-18
  • GitHub repo morloc

    A typed, polyglot, functional language

    Project mention: morloc-project/morloc: A typed, polyglot, functional language | reddit.com/r/functionalprogramming | 2021-07-29
  • GitHub repo coda

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

    Project mention: Best implementation of reduced ordered binary decision diagrams? | reddit.com/r/haskell | 2021-04-03
  • GitHub repo disco

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

    Project mention: Is there a library for an eDSL for algebra expressions with an advanced simplifier? | reddit.com/r/haskell | 2021-07-30

    Tangential, but just wanted to mention disco lang in this context, but it only handles rational numbers afaik.

  • GitHub repo wybe

    A programming language supporting most of both declarative and imperative programming

    Project mention: A programming language most of declarative and imperative programming | news.ycombinator.com | 2021-10-19
  • GitHub repo zeolite-lang

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

  • GitHub repo capri

    A statically typed, somewhat functional programming language. Compiles to C.

    Project mention: Capri: a statically typed, extensible, and concise (almost) functional programming language | reddit.com/r/altprog | 2021-10-31

    https://github.com/05st/capri/blob/master/examples/structs.cpr → you have Pascal-style value assignment for the structs, but C-style value assignment within the structs. It says in https://github.com/05st/capri/wiki/Mutability that you just documented a "mut" keyword to distinguish mutable variables; maybe it's best left to the := for constants / immutables, and = for the mutable / "var-let"-style variables? You're onto something here.

  • GitHub repo egison-pattern-src

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

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 2021-12-03.

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 4,150
2 lamdu 1,708
3 Agda 1,670
4 wasp 1,398
5 plutus 1,259
6 kitten 939
7 egison 824
8 lawvere 186
9 morloc 171
10 coda 153
11 disco 133
12 wybe 31
13 zeolite-lang 15
14 capri 5
15 egison-pattern-src 5
Find remote jobs at our new job board 99remotejobs.com. There are 32 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives