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