Official documentation for getting things done with Nix.

Library for representing vCard data using EIEIO classes

My collection of nix flake templates (devShells, etc.)

A Docker image that installs a large, local Hoogle server for offline queries

Chronicle is an indexing software, indexing transactions and modules (Smart contract, Parachain, and so on) Events.

❇️ A WebSocket JSON/RPC bridge for Cardano

PureScript core tools in Nix

Basic scaffolding for setting up and writing a Halo2 ZK circuit

Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"

Zoom and Unzoom window

Jambhala Cardano Development Suite

And I say hey, what's going on?

A use-package declaration for simplifying your .emacs

Tools to build JSON-RPC clients and servers the Servant way

Tutorial on setting up Emacs to do Haskell programming

Generates Nix build / dev files for Rust projects.

Programming Language Theory λΠ

Finished Book of Monads by Alejandro Serrano-Mena

A comprehensive Amazon Web Services SDK for Haskell.

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Roguelike Tutorial in Rust - using RLTK

Haskell Bindings for AWS Kinesis

😠 Environmentally friendly environment variables

Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

Project: M36 Relational Algebra Engine

Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad combat game written in Haskell; please offer feedback, e.g., after trying out the web frontend version at

Playground for Haskell stuff

Code for my blog post "Generating Mazes with Inductive Graphs"