Pinned Loading

1. minesweeper minesweeper Public

   The classical Minesweeper game developed in scala play and react.js

   Scala

2. ziohttp ziohttp Public

   Scala

3. containers containers Public

   formalization of the category of containers in Agda

   Agda

4. walls walls Public

   Learning Yampa and OpenGL

   Haskell

5. jgalat/upao-workshop jgalat/upao-workshop Public archive

   Scala 1

6. learning learning Public