Pinned Loading

1. math-algebra-greub math-algebra-greub Public

   Notes and exercises from Linear Algebra and Multilinear Algebra by Greub

   TeX 10

2. math-categories-awodey math-categories-awodey Public

   Notes and exercises from Category Theory, 2nd ed. by Awodey

   TeX 8 2

3. math-logic-ebbinghaus math-logic-ebbinghaus Public

   Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus

   TeX 13 1

4. math-sets-jech math-sets-jech Public

   Notes and exercises from Set Theory by Jech

   TeX 3

5. jshue jshue Public

   javascript library for philips hue

   JavaScript 194 32

6. lambda lambda Public

   playing with lambda calculus in haskell

   Haskell 3