WhatisRT/pagda
A package manager for Agda, using Nix as a backend
Repositories
WhatisRT/meta-cedille
Minimalistic dependent type theory with syntactic metaprogramming
WhatisRT/difftastic
a structural diff that understands syntax 🟥🟩
WhatisRT/tree-sitter-agda
Agda grammar for tree-sitter
WhatisRT/documents
WhatisRT/CIPs
WhatisRT/WhatisRT.github.io
WhatisRT/lc-experiments
WhatisRT/tenkei
Tool for creating arbitrary language bindings
WhatisRT/kmonad
An advanced keyboard manager
WhatisRT/Hawck
Key-rebinding daemon for Linux (Wayland/X11/Console)
WhatisRT/lin-alg-kramer-coq
Coq proofs of exercises in linear algebra
WhatisRT/objed
Navigate and edit text objects with Emacs
WhatisRT/spacemacs-config
WhatisRT/factorio-tas-playback
TAS playback mod for factorio