Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
University of Cambridge
- Cambridge, UK
Forked from facebook/zstd
Zstandard - Fast real-time compression algorithm
Forked from copumpkin/categories
Categories parametrized by morphism equality, in Agda
Forked from lz4/lz4
Extremely Fast Compression algorithm
Forked from madler/zlib
A massively spiffy yet delicately unobtrusive compression library.
Forked from facebook/folly
An open-source C++ library developed and used at Facebook.
Forked from technicalguy/acs-category-theory-notes-2017
Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.