A high-order Markov Chain library written in Haskell

jj tools for working with GitHub PRs from your terminal.

A key remapping daemon for linux.

Racing to the bottom of CPU performance

Issue tracker & feature request for the Flexible Haskell JetBrains IDEs Plugin

Filter list for Ai Slop channels on YouTube

A secure, configurable file-sharing and URL shortening web app written in Rust.

Home of the dionaea honeypot

Bot and LLM Content Obfuscator

Go, with the features it's missing.

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