Top 20 Haskell Functional programming Projects
-
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/)
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.
-
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.
-
-
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-08You 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.
-
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.
-
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.
-
-
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
-
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-23Sharing 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.
-
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
-
-
-
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.
-
-
Haskell Functional programming related posts
- Type family therapy
- Capri: a statically typed, extensible, and concise (almost) functional programming language
- How do you typecheck a macro?
- Is there a library for an eDSL for algebra expressions with an advanced simplifier?
- [ANN] - gvolpe/postgresql-resilient: Automatic re-connection support for PostgreSQL
- Functors and Monads For People Who Have Read Too Many "Tutorials"
- COMP3141 and COMP3121
Index
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 |
Are you hiring? Post a new remote job listing for free.
