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: From TypeScript to ReScript | news.ycombinator.com | 2022-01-12
  • GitHub repo Carp

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

    Project mention: What is haskell used for ? | reddit.com/r/ProgrammingLanguages | 2022-01-06

    Haskell happens to be one of the most hard-core functional languages, which brings some interesting features to the table. It's used a lot for academic research, writing compilers for other languages (e.g. Carp, Idris etc.), it's used for making generative art and music, or by many large companies and startups in the financial and tech sectors. Most famously, Facebook uses Haskell for its spam detection algorithms.

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • GitHub repo futhark

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

    Project mention: Provably Space-Efficient Parallel Functional Programming | news.ycombinator.com | 2022-01-14

    A combination of both. This work targets multicore, but execution on the GPU is definitely possible. It's just a different line of research. I'd highly recommend taking a look at Futhark (https://futhark-lang.org/), which has a similar programming model (purely functional and parallel), but targets GPU. The compilation strategy is quite a bit different!

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

  • OPS

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

    haskell source code formatter

    Project mention: Why is there no "standard" formatting tool for haskell? | reddit.com/r/haskell | 2022-01-04

    Yeah I couldn't find anything at all which is really unfortunate. You could check out the config source code

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

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

  • GitHub repo type-of-html

    High performance type safe html generation

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

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,505
2 Carp 4,417
3 futhark 1,674
4 cryptol 992
5 kitten 939
6 liquidhaskell 930
7 polysemy 915
8 brittany 674
9 ivory 366
10 haskell-tools-ast 252
11 frp-arduino 239
12 haskell-src-exts 189
13 morloc 174
14 shentong 160
15 axel 154
16 caledon 147
17 language-javascript 145
18 elsa 144
19 tal 130
20 hfmt 126
21 ghc-justdoit 119
22 nirum 118
23 type-of-html 118
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.
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.
scoutapm.com