Anki's shared backend and web components, and the Qt frontend

HTTP/2.0 library including HPACK

Extend Cabal build-depends from the command line

A browser based natural deduction game

Koka language compiler and interpreter

A higher-order effect system where the sky's the limit

A list of Free Software network services and web applications which can be hosted on your own servers

Load a GHCi session for a Haskell project and reload it when source files change

A new markup-based typesetting system that is powerful and easy to learn.

A friendly programming language from the future

Haskell source code suggestions

High performance, concurrent functional programming abstractions

plompy

Advent of code 2023

Haskell implementation of data structures for data science

An overengineered workaround to Discord not supporting audio when screensharing on Linux.

Rust Implementation of the Buttplug Sex Toy Control Protocol

Orgmode clone written in Lua for Neovim 0.10.0+.

Modern library for working with URIs

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Nix and Haskell in production

📃 White paper for Backend developers

Linux, OSX port of Valve's demoinfogo tool

CS:GO demo parsing tool

Source material for Certainty by Construction

documentations, slides decks...