nrolland/dotfiles
YADR - The best vim,git,zsh plugins and the cleanest vimrc you've ever seen
Public GitHub Catalog
Discovered Sep 26, 2026
nrolland / FAKE
FAKE - F# Make
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7785659GitHub System ID
nrollandOrganization / User
PublicVisibility
ActiveCatalog Status
More from nrolland
nrolland/agdaExperiences
scratchpad for various agda stuff
nrolland/lambda-calculus
A Formalization of Typed and Untyped λ-Calculus in SSReflect-Coq and Agda2
nrolland/functional-readings
Public repository.