Popular repositories Loading

1. zstd zstd Public

   Forked from facebook/zstd

   Zstandard - Fast real-time compression algorithm

   C 2 1

2. categories categories Public

   Forked from copumpkin/categories

   Categories parametrized by morphism equality, in Agda

   Agda

3. lz4 lz4 Public

   Forked from lz4/lz4

   Extremely Fast Compression algorithm

   C

4. zlib zlib Public

   Forked from madler/zlib

   A massively spiffy yet delicately unobtrusive compression library.

   C

5. folly folly Public

   Forked from facebook/folly

   An open-source C++ library developed and used at Facebook.

   C++

6. acs-category-theory-notes-2017 acs-category-theory-notes-2017 Public

   Forked from technicalguy/acs-category-theory-notes-2017

   Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.

   TeX