Open source & personal projects:
- Haskell
- Author: CPP-lang, rbst, floorplanning, parsing-by-example, and twitch game
- Contributor: libsodium-bindings, prometheus-port
- Talks: Parallelism and Concurrency in Haskell
- Rust
- Author: elgato-keylight, better-default-derive
- Contributor:
- Talks:
- Scala
- Author: equality, and DCORE
- Contributor: fs2, and scala-pet-store
- Talks: Generic Programming in Scala with Shapeless, and Lenses in Scala with Monacle
- Python: Stroke Prediction
- C++: Box Wrapping Problem
- Agda: Programming Language Foundation in Agda (Solutions)
- Dotfiles:
- Miscellaneous: polybar-tidal
Education:
- BSc in Computer Science at Facultat d'Informàtica de Barcelona (FIB).
- MSc in Computer Science at Universitat Politècnica de Catalunya (UPC)
Professional projects:
- Payment gateway
- Real-time Open Street Maps TSP engine
- Knowledge management system for museums & private collections
- Smartphone as remote controller for industrial cold rooms