Haskell implemented with combinators

Hatter is like flutter but instead of dart, haskell!

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

The math library of Lean 4

A fast, safe, and intuitive DataFrame library.

A compiler for language "memento"

functional spreadsheet programming

Flexible deriving macro for new-type pattern.

A language for modular probabilistic modelling + inference in Haskell based on effect handlers

A language for modular probabilistic modelling in Haskell based on effect handlers

How I start Haskell.

OpenTelemetry support for the Haskell programming language

Lightweight and composable servers for Haskell

Article: Functional Declarative Design

Mojo lang🔥: so awesome it wears sunglasses to protect you.

The Modular Platform (includes MAX & Mojo)

Proc-macro based einsum implementation for rust-ndarray

💖 A game about love and graphing, built by teenagers.

Reach: The Safest and Smartest DApp Programming Language

Setoid type theory implementation

A shell script which checks your $HOME for unwanted files and directories.

Formatter for Protocol Buffer files written in Haskell

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

haskell source code visualizer

A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

Jupyter adaptation of Learn You a Haskell for Great Good!

flappy bird

Command line version of Wordle.