Popular repositories Loading

1. logic-puzzles logic-puzzles Public

   Solving logic puzzles in Haskell using SBV and Z3

   Haskell 9 2

2. lean-project lean-project Public

   travis and katherine do a project

   Lean 3

3. lacrosse-town lacrosse-town Public

   Real-time collaborative editor for solving crosswords

   JavaScript 1 2

4. battlecode-2013 battlecode-2013 Public

   battlecode!

5. 6035-scala 6035-scala Public

   6.035 project scala

6. vim-cryptogram vim-cryptogram Public

   plugin to help solving cryptograms manually, in vim

   Vim Script