GUI file synchronization client that can sync with any cloud provider

Verified NbE via gluing in Agda

Automated property based testing for Rust (with shrinking).

GitHub Action to compile LaTeX documents

tools for design and interpretation of haskell programs

Command-line tool to customize Spotify client. Supports Windows, macOS, and Linux.

A community-driven collection of themes for customizing Spotify through Spicetify - https://github.com/spicetify/cli

Dependent type checker using normalisation by evaluation

Typesafe structural diffing of haskell datratypes using generics

Stack/cabal setup for testing xmonad* and configurations