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

Parsing, analyzing, and comparing source code across many languages

A friendly programming language from the future

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

A modern proof language

Official Haskell IDE support via the language server protocol (LSP)

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

Research language for array processing in the Haskell/ML family

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Deep Learning in Haskell

Educational computer programming environment using Haskell

Tensors and neural networks in Haskell

♊ higher-order, no-boilerplate monads

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

Shell programming, Haskell style

Emanate a structured view of your plain-text notes

A standard library for Haskell

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Haskell implemented with combinators

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

🚧 a work in progress effect system for Haskell 🚧

A prompt engineering functional programming language

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Compiling to Categories

Haskell GraphQL Api, Client and Tools

Call Haskell functions from any programming language via serialization and dynamic libraries

Functional workflows

Standard library for linear types in Haskell.

Data frames for tabular data.

Simple shell like scripting from Haskell