Haskell programming-language

Open-source Haskell projects categorized as programming-language

Top 18 Haskell programming-language Projects

programming-language
  • unison

    A friendly programming language from the future

    Project mention: Show HN: Mandala – Automatically save, query and version Python computations | news.ycombinator.com | 2024-07-11

    Used something similar to this in the past: https://github.com/bmabey/provenance. Curious to see similarities/differences. Also reminds me of Unison at a conceptual level: https://github.com/unisonweb/unison

  • InfluxDB

    Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

    InfluxDB logo
  • Agda

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

  • lamdu

    lamdu - towards the next generation IDE

  • plutus

    The Plutus language implementation and tools

  • kitten

    A statically typed concatenative systems programming language.

    Project mention: As you learn Forth, it learns from you (1981) | news.ycombinator.com | 2024-06-22
  • egison

    The Egison Programming Language

  • NeoHaskell

    ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

    Project mention: Announcing NeoHaskell v0.2.0: Bringing Elm-Inspired Architecture to CLI Apps | dev.to | 2024-07-27

    Check out our GitHub repository for the latest code

  • SaaSHub

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

    SaaSHub logo
  • lawvere

    A categorical programming language with effects (by jameshaydon)

  • morloc

    A typed, polyglot, functional language

  • coda

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

  • fp

    A small, weird and unpractical programming language. (by japiirainen)

  • birb

    :bird: *cheep cheep shriek caw*

    Project mention: Birb: Programming with Bird Emojis | news.ycombinator.com | 2024-07-13
  • wybe

    A programming language supporting most of both declarative and imperative programming

  • zeolite-lang

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

  • frea

    A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

  • capri

    A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR.

  • egison-pattern-src

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

  • tulip

    A Tiny, Untyped, Lazy, Interpreted, Pure language (by willmcpherson2)

  • SaaSHub

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

    SaaSHub logo
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).

Haskell programming-language discussion

Log in or Post with

Haskell programming-language related posts

  • Birb: Programming with Bird Emojis

    1 project | news.ycombinator.com | 13 Jul 2024
  • Unison Programming Language

    1 project | news.ycombinator.com | 7 Feb 2024
  • Unison Language

    1 project | news.ycombinator.com | 13 Sep 2023
  • Build your own AI Meme Generator & learn how to use OpenAI's function calls ☎️

    2 projects | dev.to | 6 Sep 2023
  • Types versus sets (and what about categories?)

    1 project | news.ycombinator.com | 31 Aug 2023
  • πŸ’‘From Idea to Exit: Building and Selling an AI-powered SaaS in 5 Months πŸ€–πŸ’°

    2 projects | dev.to | 30 Aug 2023
  • Smol AI 🐣 vs Wasp AI 🐝- Which is the Better AI Junior Developer?

    2 projects | dev.to | 1 Aug 2023
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 7 Sep 2024
    InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards. Learn more β†’

Index

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

Project Stars
1 unison 5,732
2 Agda 2,455
3 lamdu 1,851
4 plutus 1,556
5 kitten 1,084
6 egison 903
7 NeoHaskell 268
8 lawvere 265
9 morloc 193
10 coda 161
11 fp 102
12 birb 92
13 wybe 43
14 zeolite-lang 18
15 frea 17
16 capri 8
17 egison-pattern-src 5
18 tulip 0

Sponsored
Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
www.influxdata.com

Did you konow that Haskell is
the 23rd most popular programming language
based on number of metions?