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:
  • Arch Linux¹ / NixOS¹
  • Neovim
  • Keyboardio
• 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

Footnotes

1. Private for security reasons ↩ ↩²