Popular repositories Loading

1. hott-notes hott-notes Public

   Forked from maurer/hott-notes

   15-819 (Homotopy Type Theory) Lecture Notes

   TeX

2. Let-s-build-a-compiler Let-s-build-a-compiler Public

   Forked from vtudose/Let-s-build-a-compiler

   A C version of the Let's Build a Compiler, by Jack Crenshaw

   C

3. ChemistrySet ChemistrySet Public

   Forked from aturon/ChemistrySet

   A library for composable fine-grained concurrency.

   Scala

4. c4 c4 Public

   Forked from rswier/c4

   C in four functions

   C

5. the-book-of-secret-knowledge the-book-of-secret-knowledge Public

   Forked from trimstray/the-book-of-secret-knowledge

   ⭐ A collection of awesome lists, manuals, blogs, hacks, one-liners, cli/web tools and more.

6. theHoTTGameGuide theHoTTGameGuide Public

   Forked from thehottgame/theHoTTGameGuide