NixOS MicroVMs

higher-order effects done right for Haskell

Style and Grammar Checker for 25+ Languages

System-wide colorscheming and typography for NixOS

A NixOS module which lets you route traffic from systemd services through a VPN while preventing DNS leaks.

Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tree/tools/nixery

Kaishi 1.5k is a modern, modular Japanese Anki deck made for beginners who want to learn basic vocabulary.

A Nix flake for automating the generation and integration of AMD microcode updates.

My NixOS configs

Functional lens library for Rust

Prometheus exporter for the Folding@Home client

Source code for the book Building a Debugger

bidirectional type checking algorithms for higher-ranked polymorphism

Use Mullvad VPN along with Tailscale and/or Zerotier

Homomorphic Encryption library and applications in Swift

Vim mode for VSCode, powered by Neovim

Load a GHCi session for a Haskell project and reload it when source files change

Formal specifications of the cardano ledger

Haskell implementation of grammar-based compression algorithm SEQUITUR

An array implementation for Nix with logarithmic update and access operations

Opinionated Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts

NixOS deployment tool

Persistence interface for Haskell allowing multiple storage methods.

Typed filepath

A Haskell library for on-disk tables based on LSM-Trees

The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

Spawns lightweight nixos vms in a shell

shader-like effects library for ratatui applications

A work-in-progress PureScript to Plutus Core compiler

flashcard TUI with markdown cards