A scrollable-tiling Wayland compositor.

An introduction to programming language theory in Agda

Simple development environment cli generator for nix

Declaratively bear (manage) Linux users and groups

Home Manager module for the Ghostty terminal emulator

An embedded scheme interpreter in Rust

A Git-compatible VCS that is both simple and powerful

A library for incremental computations

A unified NixOS tooling replacement for nixos-* utilities

Useful autocmds for Neovim.

Dotfiles managed through home-manager & nix

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

A language for intent-centric and declarative decentralised applications

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

A nix flake for simplifiying the packaging of elm projects, inspired by elm2nix.

The Dao of Functional Programming

Home for NixOS AMI automation

A very fast, powerful, extensible and asynchronous Neovim HTTP client written in Lua.

A type theory with native support for Polynomial Functors.

PureScript core tools in Nix

Miscellaneous articles. The readme is the table of contents.

NIx Language server, an incremental analysis assistant for writing in Nix.

Multi-tenant Nix Binary Cache

CometBFT team public knowledge base. Always a work-in-progress.

A pool of connections for Hasql

github page

Nix-based continuous integration

A new markup-based typesetting system that is powerful and easy to learn.