You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Slash 57e1d10d38 removed unused json dependency 9 years ago
sample_problems statistics for tags 9 years ago
solutions statistics for tags 9 years ago
src statistics for tags 9 years ago
.gitignore added haskell gitignore 9 years ago
LICENSE major vm refactoring 9 years ago
Setup.hs major vm refactoring 9 years ago
calculateAndSubmit ad strategy name to solutions 9 years ago
filterResults.py statistics for tags 9 years ago
getStats more vm refactoring 9 years ago
icfp2015.cabal removed unused json dependency 9 years ago
index.html initial commit 9 years ago