Popular repositories

1. book Public

   Forked from HoTT/book

   A textbook on informal homotopy type theory

   Python

2. bitcoinbook Public

   Forked from bitcoinbook/bitcoinbook

   Mastering Bitcoin 2nd Edition - Programming the Open Blockchain

   Python

3. pearls Public

   Forked from derekmcloughlin/pearls

   Pearls of Functional Algorithm Design by Richard Bird - Haskell Code

   Haskell

4. freecoll Public

   Forked from patmorin/freecoll

   Every collinear set is a free collinear set

   TeX