Haskell Functional programming

Open-source Haskell projects categorized as Functional programming | Edit details

Top 20 Haskell Functional programming Projects

  • Carp

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

    Project mention: Lisp for games | reddit.com/r/lisp | 2022-05-16

    Most Lisp implementations use a garbage collector. Carp looks like an interesting one without GC. I'm sure there are others as well.

  • write-you-a-haskell

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

    Project mention: Type inference of letrec in Algorithm W | reddit.com/r/haskell | 2022-05-10

    This is the best resource I know of: http://dev.stephendiehl.com/fun/006\_hindley\_milner.html https://github.com/sdiehl/write-you-a-haskell/blob/master/chapter7/poly_constraints/src/Infer.hs

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

  • codeworld

    Educational computer programming environment using Haskell

    Project mention: Ask HN: It's 2022. Where should I direct the youths to learn about programming? | news.ycombinator.com | 2022-04-29

    Loose connection, but made me remember https://code.world/ uses a Haskell-like functional language to define still pictures, animations, or even games.

  • Gifcurry

    😎 The open-source, Haskell-built video editor for GIF makers.

  • grin

    GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. (by grin-compiler)

    Project mention: A New Backend for Standard ML of New Jersey | reddit.com/r/ProgrammingLanguages | 2021-12-08

    You could take a look at GRIN, which is an IR especially made for optimizing functional languages before passing them to something like LLVM. (keep in mind that that project is still very early in development) See also their paper.

  • egison

    The Egison Programming Language

    Project mention: Let's talk about interesting language features. | reddit.com/r/ProgrammingLanguages | 2021-12-08

    Egison language. Research language that does some really neat stuff with pattern matching.

  • haskell-exercises

    A little course to learn about some of the more obscure GHC extensions.

    Project mention: Type family therapy | reddit.com/r/haskell | 2022-01-09

    Hi, I'm going through i-am-tom's Haskell exercises, currently I'm doing "06-TypeFamilies", and I'm not getting the answer to question two to go through the type checker. The problem description is:

  • Scout APM

    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.

  • csound-expression

    Haskell Framework for Electronic Music

  • Haskell

    Project mention: My Favorite Language has Changed to PHP | reddit.com/r/PHP | 2022-03-16

    Haskell: https://github.com/TheAlgorithms/Haskell/blob/master/src/Sorts/MergeSort.hs

  • dunai

    Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

  • disco

    Functional teaching language for use in a discrete mathematics course (by disco-lang)

    Project mention: Is there a library for an eDSL for algebra expressions with an advanced simplifier? | reddit.com/r/haskell | 2021-07-30

    Tangential, but just wanted to mention disco lang in this context, but it only handles rational numbers afaik.

  • tensor-safe

    A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

  • shopping-cart-haskell

    :gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

    Project mention: [ANN] - gvolpe/postgresql-resilient: Automatic re-connection support for PostgreSQL | reddit.com/r/haskell | 2021-07-23

    Sharing a tiny library I created for personal use (e.g. https://github.com/gvolpe/shopping-cart-haskell), built on top of postgresql-simple with only one extra dependency: exceptions.

  • manual-stg-experiment

    Manually constructed STG programs compiled with the standard GHC codegen backend.

  • fp-notes

    Notes on Functional Programming and related topics

    Project mention: Be reading academic computer science papers | news.ycombinator.com | 2022-04-07

    I’ve been reading CS papers for a few years now (mostly FP or PL related) and wrote some summaries for a selection of them[0]. FP and PL literature is very accessible, many authors have a desire to communicate some aspect of programming languages or type systems that is readable even if you have only an introductory knowledge of the field. Also, papers are a great source for knowledge that is not easily found in books and documentation online.

    [0] https://github.com/siraben/fp-notes/blob/master/Papers.md

  • titan

    Testing Infrastructure for Temporal AbstractioNs

  • COMP3141

    COMP3141: Software System Design and Implementation Study Notes

  • capri

    A statically typed, somewhat functional programming language. Compiles to C.

    Project mention: Capri: a statically typed, extensible, and concise (almost) functional programming language | reddit.com/r/altprog | 2021-10-31

    https://github.com/05st/capri/blob/master/examples/structs.cpr → you have Pascal-style value assignment for the structs, but C-style value assignment within the structs. It says in https://github.com/05st/capri/wiki/Mutability that you just documented a "mut" keyword to distinguish mutable variables; maybe it's best left to the := for constants / immutables, and = for the mutable / "var-let"-style variables? You're onto something here.

  • calculator

    an arithmetic calculator written with compiling theory in mind (by biuld)

  • test-fun

    Representation of higher-order functions for property testing

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-05-16.

Haskell Functional programming related posts


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

Project Stars
1 Carp 4,524
2 write-you-a-haskell 3,117
3 codeworld 1,199
4 Gifcurry 1,043
5 grin 928
6 egison 842
7 haskell-exercises 575
8 csound-expression 290
9 Haskell 224
10 dunai 135
11 disco 132
12 tensor-safe 96
13 shopping-cart-haskell 65
14 manual-stg-experiment 21
15 fp-notes 20
16 titan 17
17 COMP3141 7
18 capri 5
19 calculator 4
20 test-fun 2
Find remote jobs at our new job board 99remotejobs.com. There are 7 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