Carnap – A formal logic framework for Haskell

An introduction to property-based testing with QuickCheck (2020)

Memoization via Representables (2022)

Writing an NES emulator in Haskell

runST does not prevent resources from escaping

Layoutz – Simple, beautiful CLI output for Haskell 🪶

An apologia for lazy evaluation

Liskell – Haskell Semantics with Lisp Syntax [pdf]

ClickHaskell 1.0.0 is out

Short: LLM ruins Haskell stream

Full Haskell-like Type Class resolution in Java

Text similarity search via normalized compression distance

My first Rust crate: Qshr - a toolkit for writing shell-style scripts in Rust (inspired by Turtle of Haskell)

Hasktorch: LibTorch Haskell bindings for deep learning using FFI

Haskell IS a great language for data science

Palindrome-products performance: Rust vs Go, Haskell, Lisp, TypeScript, Python

Luarrow – True pipeline operators and elegant Haskell-style function compositio

Hindsight – Type-safe and evolvable event sourcing for Haskell

Optimizing Ray Tracing in Haskell (2020)

Ditch your mutex, you deserve better

Ditch your (mut)ex, you deserve better

MetaFun: Compile Haskell-like code to C++ template metaprograms

JupyterLite kernel for Haskell, powered by WebAssembly

Domain-specific Languages and Code Synthesis Using Haskell

Trait-Constrained Enums in Rust

Typst-Unlit: Write literate Haskell programs in Typst

What's the Point of Learning Functional Programming?

How This Site Is Build

Löb and Möb: Loops in Haskell (2013)

On Small Functions (and Haskell)

More →