akaposi

akaposi's Stars

• ivanperez-keera/haskanoid

  A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.

  Language:Haskell27527

• simhu/cubical

  Implementation of Univalence in Cubical Sets

  Language:Haskell14510