Popular repositories Loading

1. queenslogic queenslogic Public

   n queens with the logic monad

   Haskell 20

2. theory-of-algorithms-363 theory-of-algorithms-363 Public

   algorithms and complexity theory

   TeX 4 2

3. graph-theory-323 graph-theory-323 Public

   intro graph theory course

   TeX 2 1

4. timeserieszen timeserieszen Public

   Forked from stucchio/timeserieszen

   Time series database, totally at the beginning

   Scala

5. mscp mscp Public

   slides: intro to category theory, haskell, monads, state

   TeX

6. computer-algebra-448 computer-algebra-448 Public

   course culminating in Knuth-Bendix

   TeX