A Vim-like configuration for Helix

Neovim Lua plugin to align text interactively. Part of 'mini.nvim' library.

A single-binary CLI tool that detects a software project's toolchain, configuration, and conventions, then outputs a structured report.

droast - a dockerfile linter that actually has opinions 🔥

Checksec

CHERI ISA Specification

List of papers studying machine learning through the lens of category theory

Benchmarks for capture-avoiding substitution

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

Usefuly combinators for the 'prettyprinter' Haskell package

Haskell library and cmdline tool for iCloud access

look behind the curtain of your Haskell program

Tiling DSL for Agda

System benchmarking for proof assistants

A kubectl plugin to render watch output in a more readable fashion

A starter project for building your own static site generator using Shake and Haskell

Open telemetry auto instrumentation using GHC plugin

a challenge for Haskell beginners

Clone of Sterling Clover's Diff repo on hub.darcs.net

🔍 A simple, fast fuzzy finder for the terminal

Materials for the ESSLLI 2026 course "Introduction to Homotopy Type Theory / Univalent Foundations"

A secure, fast, and adaptable OS based on the seL4 microkernel

WinUAE Amiga emulator

A library for rendering vector shapes using the Bevy game engine