A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

experimenting with unlifted classes via backpack

🎯 IO with Exceptions tracked on the type-level

Generate the API Client for Fetch or Axios from an OpenAPI Specification

Persistence interface for Haskell allowing multiple storage methods.

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Proposed compiler and language changes for GHC and GHC/Haskell

Efficient Haskell Arrays featuring Parallel computation

Generalized bananas, lenses and barbed wire

3️⃣ 🍰 Architecture of the Haskell web applications

Comonads By Example Conference talk

High performance, regular, shape polymorphic parallel arrays.

Functional Programming Course

A fast, flexible, fused effect system for Haskell

A dependently typed programming language, a successor to Idris

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

🏮 Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"

Abstractions from Category theory with simple description & implementation, links to further resources.

A RESTful Haskell web framework built on WAI.

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

A Gradle plugin to pretty-log JUnit Jupiter tests when run from the Gradle test task. Nested tests are grouped together and the output styles is very similar to `mocha.js`

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…

Industrial-strength monadic parser combinator library