Popular repositories Loading

1. AgileWebDevDemo AgileWebDevDemo Public

   Example code for showing the awesomeness of web dev

   Python 37 5

2. agda-routing agda-routing Public

   An Agda library for reasoning about asynchronous iterative algorithms and network routing problems

   Agda 25 3

3. AshCalc AshCalc Public

   Python modules for calculating Exponential, Power law and Weibull distributions

   Python 5 6

4. Oponn Oponn Public

   Monte-Carlo Tree Search based Risk Agent for Lux Deluxe

   Java 4 1

5. UKRacketlon UKRacketlon Public

   Joomla template and custom components for the UK Racketlon website (www.racketlon.co.uk)

   PHP 1 1

6. PathVision PathVision Public

   Python tool for visualising algebraic best-path problems

   Python 1 1