Top 20 Haskell Functional programming Projects
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.
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
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.
Educational computer programming environment using Haskell
😎 The open-source, Haskell-built video editor for GIF makers.
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.
The Egison Programming LanguageProject 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.
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:
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 Framework for Electronic Music
Project mention: My Favorite Language has Changed to PHP | reddit.com/r/PHP | 2022-03-16
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
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.
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
: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.
Manually constructed STG programs compiled with the standard GHC codegen backend.
Notes on Functional Programming and related topicsProject 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. 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.
Testing Infrastructure for Temporal AbstractioNs
COMP3141: Software System Design and Implementation Study Notes
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.
an arithmetic calculator written with compiling theory in mind (by biuld)
Representation of higher-order functions for property testing
Haskell Functional programming related posts
Type family therapy
1 project | reddit.com/r/haskell | 9 Jan 2022
Capri: a statically typed, extensible, and concise (almost) functional programming language
2 projects | reddit.com/r/altprog | 31 Oct 2021
How do you typecheck a macro?
6 projects | reddit.com/r/ProgrammingLanguages | 30 Sep 2021
Is there a library for an eDSL for algebra expressions with an advanced simplifier?
1 project | reddit.com/r/haskell | 30 Jul 2021
[ANN] - gvolpe/postgresql-resilient: Automatic re-connection support for PostgreSQL
3 projects | reddit.com/r/haskell | 23 Jul 2021
Functors and Monads For People Who Have Read Too Many "Tutorials"
5 projects | reddit.com/r/programming | 26 Jun 2021
COMP3141 and COMP3121
1 project | reddit.com/r/unsw | 23 May 2021
What are some of the best open-source Functional programming projects in Haskell? This list will help you:
Are you hiring? Post a new remote job listing for free.