Interactively browse dependency graphs of Nix derivations.

A special-purpose processor for pure, non-strict functional languages

Yet another test framework for Haskell.

Terminal logs observer

Generating type families for field selectors via TemplateHaskell

Where Lions Roam: RISC-V on the VELDT

Algebraic data types for C99

TextMate is a graphical text editor for macOS 10.12 or later

Course for learning how to apply property-based state-machine testing

High performance, concurrent functional programming abstractions

lowlevel set of cryptographic primitives for haskell

A terminal client for Up Bank written in Haskell ⚡.

More scroll, less hassle

A simple library for reporting compiler/interpreter errors

📜 Haskell course info, plan, video lectures, slides

A stream-based runtime-verification framework for generating hard real-time C code.

Binding to HDF5 library

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Fancy reverse and bind shell handler

Haskell library for space- and time-efficient operations over Unicode text.

😺 Running Hashcat on Google Colab with session backup and restore.

Demos from my old blog, collected, changed and moved to the new one when active.

Extras for AWS based off of amazonka

Haskell library for building declarative animations based on SVG graphics

BRL-CAD's new object-oriented API

A NonEmpty version of Data.Text