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

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

Easy dependency management for Nix projects

Haskell source code suggestions

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

♊ higher-order, no-boilerplate monads

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

Resource gathering + programming game

Minimal implementations for dependent type checking and elaboration

Haskell implemented with combinators

Updating nixpkgs packages since 2018

A prompt engineering functional programming language

A powerful but simple library for measuring the performance of Haskell code.

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Compiling to Categories

a fast, extensible, type driven Haskell ECS framework for games

The Monad Transformer Library

Standard library for linear types in Haskell.

Equational laws for free

The adventures of a Haskell compiler

A structured logging framework for Haskell

⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.

Projects and channels that have decided to leave Freenode. (Final leave count: 1056)

A small compiler for PCF

Fast equality saturation in Haskell

A self-hosting mini Haskell compiler with a mini C runtime.

二重振り子シミュレーション

a self-hosting lambda calculus compiler

Bidirectional Parsing. Work in Progress

Exact real arithmetic in Haskell