Pinned Repositories
fzy-lua-native
Luajit FFI bindings to FZY
lean4-lf
nix-config
My NixOS configuration
r3rer3
Config files for my GitHub profile.
substack-archive-rss-extractor
why-fp-matters-code
Code from the paper "Why Functional Programming Matters"
r3rer3's Repositories
r3rer3/fzy-lua-native
Luajit FFI bindings to FZY
r3rer3/lean4-lf
r3rer3/nix-config
My NixOS configuration
r3rer3/r3rer3
Config files for my GitHub profile.
r3rer3/substack-archive-rss-extractor
r3rer3/why-fp-matters-code
Code from the paper "Why Functional Programming Matters"