Popular repositories Loading

1. speccer speccer Public

   Property-based testing in Python

   Python 4

2. dotfiles dotfiles Public

   My personal dotfiles - be careful!

   Vim Script 1

3. list-tree list-tree Public

   Python command-line utility to list files like 'ls' but in a tree format.

   Python

4. csbot csbot Public

   Forked from HackSoc/csbot

   An IRC bot and plugin system for the #cs-york channel on irc.freenode.net

   Python

5. starling-tool starling-tool Public

   Forked from septract/starling-tool

   An automatic verifier for concurrent algorithms.

   F#

6. rufous rufous Public

   Rufous!

   Haskell 1