I currently need help with:

- (you can make it your own project) type-safe library for Matroids (in cubical agda, so different representations can be handled automatically)

- If you have some Elm experience you can help me with online toy to play with cubical agda :) ( https://raw.githack.com/marcinjangrzybowski/cubeViz/master/m...

In fact I would be very happy to find a collaborator for those projects. There is lot of people from academia focused on the fundamental projects, but I am more focused in programming something practical.