Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.

ZuriHac registration system

A List of Foundational Haskell Papers

A modern step-through debugger for GHC Haskell

MCP server for hackage documentation

OpenTofu lets you declaratively manage your cloud infrastructure.

Rust without the borrow checker

Weighs the soul of incoming HTTP requests to stop AI crawlers

A high-visibility, general purpose programing language for humans and AI.

An Awesome MCP Server Framework for Haskell

A pure Haskell (no libpq) postgresql driver that draws inspiration from postgresql-simple, has streaming built into its core, speaks postgresql's binary protocol, has pipelining, interruption safet…

Haskell implementation of One-Time Passwords algorithms

A Nintendo Game Boy and Game Boy Color emulator in Haskell λ 🎮

Web service and cli tool for converting URL path into Nix attrset

A reflective language

lowlevel set of cryptographic primitives for haskell

A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.

Aver is a programming language for auditable AI-written code

Cache tests based on their source dependency tree; only re-run when source meaningfully changed.

A solution to boolean blindness.

a geohash implementation in Haskell

Systematic concurrency testing meets Haskell.

A tiling window manager for Wayland, written and configured in Haskell.

an embedded os written in haskell with microhs with lisp support, cs140e final project