Haskell Language

Open-source Haskell projects categorized as Language | Edit details
Related topics: #Haskell #Web #Data #Parser #Elm

Top 23 Haskell Language Projects

  • GitHub repo purescript

    A strongly-typed language that compiles to JavaScript

    Project mention: What are the advantages to learning Haskell over Typescript, or vice versa? For instance, can you do equational reasoning in Typescript, like you can in Haskell? | reddit.com/r/functionalprogramming | 2021-11-08
  • GitHub repo Carp

    A statically typed lisp, without a GC, for real-time applications.

    Project mention: Bubbleos, a Self-Contained OS | news.ycombinator.com | 2021-11-18

    In the “Immediate plans (say, March 2019)” (yes, most of this project is 2¾ years old, though there have been spasms of activity in some areas from time to time since):

    > Leconscrip: a memory-safe low-level statically-typed imperative language without garbage collection and with Lisp syntax, […]

    I think producing anything even vaguely useful of this description in under a month was fairly wildly unrealistic. The only path to memory safety without garbage collection (… unless you’re willing to forego references altogether, which would generally disqualify usefulness) is some form of ownership tracking, and that’s a fairly lightly-trodden and lightly-documented path. There are very few examples of such languages even if you skip Lispness—I think Cyclone was the first (a research project spanning 2001–2006; and correct me if there was prior art), and Rust is the only even vaguely mainstream one. Making a language with these features using Lisp syntax (which I presume to include macros, otherwise is it even Lisp syntax?) is even more lightly-trodden and I suspect more difficult on average, though Carp <https://github.com/carp-lang/carp> looks to be having a go at that.

    (I’m definitely interested in the concept of a memory-safe, garbage-collection-free language with Lisp syntax. I wish Carp and any other attempts well.)

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

  • GitHub repo futhark

    :boom::computer::boom: A data-parallel functional programming language

    Project mention: I'm having a hard time with Haskell. What other functional programming languages is a few steps below it regarding accessibility (for a OO programmer)? I'm thinking about Elm... | reddit.com/r/functionalprogramming | 2021-11-29

    Futhark helped me to get into the right mindset. It's a simple, functional language with similar syntax to Haskell. When I decided to go into Haskell more seriously, I first completed a small, fun Futhark project.

  • GitHub repo cryptol

    Cryptol: The Language of Cryptography

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

    Liquid Types For Haskell

    Project mention: LiquidHaskell plugin build failed | reddit.com/r/haskell | 2021-10-11

    master should already be GHC 9 ready, it just so it happens that we didn't released it on Hackage due to the fact that, practically speaking, GHC 9.0.2 is not very widely used as I think we had some minor issues, but in principle it should work, at least with cabal: https://github.com/ucsd-progsys/liquidhaskell/blob/develop/cabal.ghc9.project

  • GitHub repo polysemy

    :gemini: higher-order, no-boilerplate monads

    Project mention: Where's more discussion of the designs of effect systems? | reddit.com/r/ProgrammingLanguages | 2021-11-17

    Languages such as Koka only support algebraic effects, not scoping operations such as catch and listen. The Effect Handlers in Scope paper introduces scoping operations, which lead to the Haskell libraries fused-effects and polysemy, but they turned out to have some weird semantics. eff is her effort to fix that.

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

    haskell source code formatter

    Project mention: Advent of Code 2021 day 1 | reddit.com/r/haskell | 2021-12-01

    Turns out I prefer Brittany to Ormolu, I edited it so it hopefully looks less verbose all on one line

  • GitHub repo ivory

    The Ivory EDSL

    Project mention: The Fastest, Safest PNG Decoder in the World | news.ycombinator.com | 2021-04-06

    Another tool along these lines is Galois' Ivory language https://ivorylang.org/ , a Haskell-embedded language for writing safe/reliable C.

  • GitHub repo haskell-tools-ast

    Developer tools for Haskell

  • GitHub repo frp-arduino

    Arduino programming without the hassle of C.

  • GitHub repo haskell-src-exts

    Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

    Project mention: Let's talk about Brittany | reddit.com/r/haskell | 2021-04-23

    Hindent relies on haskell-src-exts which hasn't been updated for more than a year, so I end up using my own fork of both while my PR is pending. I've also made a number of changes to my Hindent fork to my preferences. Fortunately stack makes it easy to use particular git commits for packages.

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

    A Haskell implementation of the Shen programming language.

    Project mention: How actively is Shen being worked on? | reddit.com/r/shenlanguage | 2021-10-08

    What would the de facto implementation of Shen be? I'm seeing for example the JS implementation was recently updated but the Haskell one hasn't been since 2018.

  • GitHub repo axel

    Haskell + Lisp (by axellang)

  • GitHub repo caledon

    higher order dependently typed logic programing

  • GitHub repo language-javascript

    Parser for JavaScript, in Haskell

  • GitHub repo elsa

    Elsa is a lambda calculus evaluator (by ucsd-progsys)

  • GitHub repo tal

    An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

  • GitHub repo hfmt

    Format Haskell programs. Inspired by the gofmt utility.

  • GitHub repo ghc-justdoit

    A magic typeclass that just does it

  • GitHub repo type-of-html

    High performance type safe html generation

  • GitHub repo nirum

    Nirum: IDL compiler and RPC/distributed object framework for microservices

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

Haskell Language related posts

Index

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

Project Stars
1 purescript 7,445
2 Carp 4,375
3 futhark 1,616
4 cryptol 987
5 kitten 939
6 liquidhaskell 923
7 polysemy 892
8 brittany 659
9 ivory 355
10 haskell-tools-ast 254
11 frp-arduino 238
12 haskell-src-exts 189
13 morloc 171
14 shentong 159
15 axel 153
16 caledon 145
17 language-javascript 144
18 elsa 143
19 tal 130
20 hfmt 125
21 ghc-justdoit 118
22 type-of-html 118
23 nirum 117
Find remote jobs at our new job board 99remotejobs.com. There are 33 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
www.saashub.com