Popular repositories Loading

1. camel-down camel-down Public

   For determining strategy in a popular childrens' board game.

   Go 1

2. a-chance-to-cure a-chance-to-cure Public

   Mathematics

   Agda

3. limnoria-whosthere limnoria-whosthere Public

   Forked from sshchicago/limnoria-whosthere

   A Limnoria plugin that lists who has active DHCP leases

   Python

4. BBallWinProbs BBallWinProbs Public

   Just for funsies.

   Go

5. rainstick rainstick Public

   Interactive network software.

   Go 2

6. UniMath UniMath Public

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq