Ismail Kuru's starred repositories
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
illumos-gate
An open-source Unix operating system
ocamlgraph
OCaml graph library
dsss17-slack
#coq from the DSSS17 slack summarized.