jakubdaniel

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Hasklig

Hasklig - a code font with monospaced ligatures

kmonad

An advanced keyboard manager

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

miso

:ramen: A tasty Haskell front-end framework

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

taskell

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

grenade

Deep Learning in Haskell

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

haskell-nix

Nix and Haskell in production

genode

Genode OS Framework

intero

mobile-nixos

alga

Algebraic graphs

rasa

Extremely modular text editor built in Haskell

foundation

Empire strikes back

nix-config

My local Nix configuration

PyExZ3

Python Exploration with Z3

dth

Examples of Dependently-typed programs in Haskell

haskell-tools

Developer tools for Haskell

finkel

Haskell in S-expression

free

free monads

plot

Simple plotting tool for the terminal

lattices

Fine-grained lattice primitives for Haskell

perhaps

A monad, perhaps.

Parrows

Using Arrows to model parallel processes/computations.

Xest-Window-Manager

The zesty window manager

nix