I'm a computer science student and I love tech and programing! β€οΈ
I'm from Portugal π΅πΉ.
- Programs and Proofs
- Compilers and Type Theory
- Distributed Systems and Microservices Architecture
- Systems Programing
- π Iβm currently working on - Luna, general-purpose programing language built with OCaml.
- βοΈ Chess Player - Nickname: ProgramingIsTheFutur or ProgramingIsTheFuture