Divide without division

Concurrent, order-preserving mapping Conduit for Haskell

Stream directory entries in constant memory in vanilla IO

Weightlifting tracker app for coders

Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.

Korg M01 (DS) MIDI extractor

Weighs the soul of incoming HTTP requests to stop AI crawlers

toy implementation of Hindley-Milner type system that prints out inference steps

#️⃣ Hashing for monomorphic containers (unstable, still under active development)

Don't Fear the Profunctor Optics!

A DSL for creating 8-bit style music

Haskell implemented with combinators

🌈 Roc package for styling terminal contents with ANSI, 256 bit color and Truecolor

Conveniently and reasonably harden NixOS.

🦥 Supercharge your Haskell experience in neovim!

A statically typed concatenative systems programming language.

audit your cabal projects for haskell-specific security-advisories

Spreadsheet management application on Halogen

Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)

A Git-compatible VCS that is both simple and powerful

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

A Haskell 2010 type checker

the formatter multiplexer [maintainers=@zimbatm,@brianmcgee]

A virtual memory scanner

PhD course on Functional Programming and Climate Impact Research

Hitchhiker's Guide to Logical Verification (2023 Edition)

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

A formal definition and verification of System F. To be extended to System Fc

A mechanisation of Wasm in Isabelle.