jwiegley
★ 915emacs-async
Simple library for asynchronous processing in Emacs
HYSEN LABS DIRECTORY
jwiegley
Verified repositories, classifications and analysis from the jwiegley organization.
2 curated open-source projects
jwiegley
★ 817category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work