Brad Hardy bch29

Achievements

Achievements

Popular repositories Loading

1. traitcast traitcast Public

   Cast between dynamic trait objects

   Rust 34 4

2. agda-holes agda-holes Public

   Agda programming with holes

   Agda 28 1

3. robo-monad robo-monad Public

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

   Haskell 15 2

4. streaming-png streaming-png Public

   Perfectly streaming PNG image decoding.

   Haskell 4

5. language-verification language-verification Public

   Haskell 3

6. twos-ai twos-ai Public

   Scala 1