gurry's Stars
prathyvsh/category-theory-resources
Resources for learning Category Theory for an enthusiast
rust-lang-nursery/portability-wg
Coordination repository of the portability Working Group (WG)
gurry/ConfigFiles
All the config files in my linux home folder with the settings I like