Popular repositories Loading

1. HigherOrderHornRefinement HigherOrderHornRefinement Public

   Haskell 6 1

2. cwmtt cwmtt Public

   Tools for studying "5d Chess With Multiverse Time Travel"

   Haskell 6

3. 5D-PGN-Recorder 5D-PGN-Recorder Public

   Forked from GHXX/FiveDChessDataInterface

   An unofficial tool for recording notation from games of 5D Chess With Multiverse Time Travel and reminding you when you're low on time.

   C# 6 2

4. Bartok Bartok Public

   Haskell 4 3

5. sle sle Public

   Approximating and viewing Schramm-Loewner evolution

   Python 4

6. adventofcode adventofcode Public

   HTML 3