Alternative future adapters that provide cancel safety.

A modern supercompiler for call-by-value functional languages

Nix packages and modules for niri

🌒 Neovim plugin management inspired by Cargo, powered by luarocks

Collection of DOs and DON'Ts for modern Neovim Lua plugin development

Async-friendly QUIC implementation in Rust

The Lean version manager

Godot Engine – Multi-platform 2D and 3D game engine

Raspberry Pi Specific flakes for NixOS

Slotmap data structure for Rust

A Wayland kiosk

A curated list of Wayland resources

Zero-cost functional reactive Signals for Rust

🌊 The ultimate Fish prompt.

Eventually consistent values for Rust

A hassle-free CLI utility/library to manage backlight on Linux; one that plays well with hybrid GPU configuration and proprietary drivers.

A scrollable-tiling Wayland compositor.

Extend Cabal build-depends from the command line

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Document Generator for Lean 4

Overview of tactics in Lean 4 for beginners — longer version

The Refactoring library based off the Refactoring book by Martin Fowler

Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all

Template for my Haskell + Nix projects

Leandate - A date and time library for Lean4

sockets for Lean 4

Package registry for Lean/Lake.

Bindings to LibUV in Lean

A Lean 4 library for iterators.

A toy implementation of socket programming for Lean 4.