Haskell Language

Open-source Haskell projects categorized as Language

Top 23 Haskell Language Projects

  • purescript

    A strongly-typed language that compiles to JavaScript

    Project mention: purerl - Integrating PureScript into Elixir projects | dev.to | 2023-01-11

    PureScript is a Haskell-like language aimed at providing an alternative to TypeScript for statically typed programming in the JavaScript space. I highly recommend taking a look at PureScript for your compile-to-JavaScript needs outside of the use case we'll be talking about in this post.

  • Carp

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

    Project mention: Carp - If Clojure and Rust Had A Baby | reddit.com/r/Clojure | 2023-01-27

    Language Docs: https://github.com/carp-lang/Carp/blob/master/docs/LanguageGuide.md Carp More Advanced Docs: https://github.com/carp-lang/Carp/tree/master/docs Carp Gitter Link: https://gitter.im/carp-lang/Carp

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

  • futhark

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

    Project mention: What would make you try a new language? | reddit.com/r/ProgrammingLanguages | 2023-01-29

    Have you looked at Futhark?

  • liquidhaskell

    Liquid Types For Haskell

  • cryptol

    Cryptol: The Language of Cryptography

  • kitten

    A statically typed concatenative systems programming language.

    Project mention: A Forth Apologia | news.ycombinator.com | 2022-11-29

    Well, there is Kitten, although it hasn't seen an update in two years and was moving quite slowly before that too.

    https://kittenlang.org/

  • polysemy

    :gemini: higher-order, no-boilerplate monads

    Project mention: Introduction to Doctests in Haskell | reddit.com/r/haskell | 2022-04-19

    Looking for a few projects that make use of it, I found accelerate, hawk, polysemy and pretty-simple, so I'll be interested to poke around in their code and see how they have things set up.

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  • brittany

    haskell source code formatter

    Project mention: Announce end of maintenance by tfausak · Pull Request #377 · lspitzner/brittany | reddit.com/r/haskell | 2022-11-11
  • ivory

    The Ivory EDSL

  • haskell-tools-ast

    Developer tools for Haskell

  • frp-arduino

    Arduino programming without the hassle of C.

  • haskell-src-exts

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

  • morloc

    A typed, polyglot, functional language

  • axel

    Haskell + Lisp (by axellang)

  • elsa

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

  • shentong

    A Haskell implementation of the Shen programming language.

  • language-javascript

    Parser for JavaScript, in Haskell

  • caledon

    higher order dependently typed logic programing

  • tal

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

  • hfmt

    Format Haskell programs. Inspired by the gofmt utility.

  • type-of-html

    High performance type safe html generation

  • ghc-justdoit

    A magic typeclass that just does it

  • nirum

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

  • SaaSHub

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

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

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,994
2 Carp 4,926
3 futhark 1,956
4 liquidhaskell 1,035
5 cryptol 1,034
6 kitten 1,013
7 polysemy 976
8 brittany 686
9 ivory 373
10 haskell-tools-ast 251
11 frp-arduino 243
12 haskell-src-exts 189
13 morloc 186
14 axel 176
15 elsa 161
16 shentong 161
17 language-javascript 153
18 caledon 148
19 tal 132
20 hfmt 127
21 type-of-html 121
22 ghc-justdoit 121
23 nirum 120
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com