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: Ask HN: Interest in a Rust-Inspired Language Compiling to JavaScript? | news.ycombinator.com | 2023-12-24
  • Carp

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

    Project mention: Roc – A fast, friendly, functional language | news.ycombinator.com | 2023-11-20

    Carp - https://github.com/carp-lang/Carp - "A statically typed lisp, without a GC, for real-time applications." where it's "Ownership tracking enables a functional programming style while still using mutation of cache-friendly data structures under the hood".

  • Onboard AI

    ChatGPT with full context of any GitHub repo. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at app.getonboardai.com.

  • futhark

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

    Project mention: What downsides exist to Futhark? Seems almost too good to be true? | /r/CUDA | 2023-06-29

    Why Futhark? (futhark-lang.org)

  • liquidhaskell

    Liquid Types For Haskell

  • cryptol

    Cryptol: The Language of Cryptography

  • kitten

    A statically typed concatenative systems programming language.

    Project mention: Retro: A Modern, Pragmatic Forth | news.ycombinator.com | 2023-07-11

    While not quite a Forth, Kitten is a stack language:

    https://kittenlang.org/

  • polysemy

    :gemini: higher-order, no-boilerplate monads

    Project mention: Functional Declarative Design: A Comprehensive Methodology for Statically-Typed Functional Programming Languages | /r/haskell | 2023-06-02

    Thirdly, composing arbitrary effects without losing state is really, really difficult. Things are fine when you limit yourself to State and Reader, sure, but once you start with nondeterminism you’ll discover it’s shockingly easy to produce behaviors that are baffling unless you’ve spent a preposterous amount of time thinking about this stuff. (I’ve been bitten in prod by silent state-dropping bugs, and rarely have I been more flummoxed.) Consider this example, which produces silent changes in the semantics of <|> depending on whether you use it inside or outside of a higher-order effect. Every single effect library (besides the still-unreleased eff) gets certain combinations of effects + nondeterminism wrong. You could make the argument that most people don’t use nondeterministic monads, but eDSLs really shine when you have access to them, as you can turn a concrete interpreter to an abstract one fairly easily.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  • brittany

    haskell source code formatter

  • DSLsofMath

    Domain-Specific Languages of Mathematics

    Project mention: Domain-Specific Languages of Mathematics | /r/hypeurls | 2023-04-05
  • ivory

    The Ivory EDSL

  • haskell-tools-ast

    Developer tools for Haskell

  • frp-arduino

    Arduino programming without the hassle of C.

  • axel

    Haskell + Lisp (by axellang)

    Project mention: Axel: Haskell's Semantics + Lisp Macros | news.ycombinator.com | 2024-02-11
  • haskell-src-exts

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

  • morloc

    A typed, polyglot, functional language

  • elsa

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

  • caledon

    higher order dependently typed logic programing

  • shentong

    A Haskell implementation of the Shen programming language.

  • language-javascript

    Parser for JavaScript, in Haskell

  • tal

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

  • liquid-fixpoint

    Horn Clause Constraint Solving for Liquid Types

  • hfmt

    Format Haskell programs. Inspired by the gofmt utility.

  • type-of-html

    High performance type safe html generation

  • WorkOS

    The modern API for authentication & user identity. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

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 2024-02-11.

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 8,408
2 Carp 5,391
3 futhark 2,234
4 liquidhaskell 1,139
5 cryptol 1,099
6 kitten 1,069
7 polysemy 1,019
8 brittany 689
9 DSLsofMath 389
10 ivory 379
11 haskell-tools-ast 251
12 frp-arduino 245
13 axel 200
14 haskell-src-exts 192
15 morloc 191
16 elsa 178
17 caledon 162
18 shentong 160
19 language-javascript 157
20 tal 137
21 liquid-fixpoint 128
22 hfmt 125
23 type-of-html 124
The modern API for authentication & user identity.
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
workos.com