Pinned Repositories
clojure-deps-edn
User level aliases and Clojure CLI configuration for deps.edn based projects
doom-emacs
An Emacs framework for the stubborn martian hacker
git-sync
Safe and simple one-script git synchronization
prezto
The configuration framework for Zsh
TypeDD-Samples
Sample code from "Type Driven Development with Idris"
yyadavalli's Repositories
yyadavalli/clojure-deps-edn
User level aliases and Clojure CLI configuration for deps.edn based projects
yyadavalli/doom-emacs
An Emacs framework for the stubborn martian hacker
yyadavalli/git-sync
Safe and simple one-script git synchronization
yyadavalli/prezto
The configuration framework for Zsh
yyadavalli/TypeDD-Samples
Sample code from "Type Driven Development with Idris"