Brad Hardy

Results 3 repositories owned by Brad Hardy

agda-holes

25
Stars
1
Forks
Watchers

Agda programming with holes

verified publisher icon bch29

robo-monad

15
Stars
2
Forks
Watchers

Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.

verified publisher icon bch29

traitcast

30
Stars
4
Forks
Watchers

Cast between dynamic trait objects

verified publisher icon bch29