Haskell programming-language

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

Top 16 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 Agda

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

    Project mention: Integer overflow causes Russel's paradox | news.ycombinator.com | 2021-12-22
  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • GitHub repo lamdu

    lamdu - towards the next generation IDE

    Project mention: Lamdu 0.8 released! | reddit.com/r/lamdu | 2021-09-08
  • GitHub repo wasp

    A programming language that understands what a web app is.

    Project mention: Building a toy compiler in Haskell, what kind of parser should I be using? | reddit.com/r/haskell | 2022-01-04
  • GitHub repo plutus

    The Plutus language implementation and tools

    Project mention: Liqwid Labs: Technical Status Update #51 | reddit.com/r/cardano | 2022-01-08

    PR for Improved Rational for on-chain size was merged into Plutus: https://github.com/input-output-hk/plutus/commit/6d8d25d1e84b2a4278da1036aab23da4161b8df8

  • 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: Let's talk about interesting language features. | reddit.com/r/ProgrammingLanguages | 2021-12-08

    Egison language. Research language that does some really neat stuff with pattern matching.

  • SonarLint

    Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.

  • 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 plume

    The Plume programming language 🦚 (by e-hat)

    Project mention: Monads Leading to Imperative Code Issues | reddit.com/r/haskell | 2021-12-22

    It's a difficult thing to show - it was a lot of code and more of a broken system, not to mention the fact that I have made some fixes for the bugs that I had (although they are probably not foolproof). Here's the file anyways: https://github.com/e-hat/plume/blob/main/src/Bytecode/Generation.hs

  • 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 2022-01-08.

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 4,214
2 Agda 1,714
3 lamdu 1,711
4 wasp 1,421
5 plutus 1,312
6 kitten 939
7 egison 834
8 lawvere 192
9 morloc 174
10 coda 152
11 disco 132
12 wybe 32
13 zeolite-lang 15
14 plume 6
15 capri 5
16 egison-pattern-src 5
Find remote jobs at our new job board 99remotejobs.com. There are 29 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
OPS - Build and Run Open Source Unikernels
Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
github.com/nanovms