👏
Hi, I'm Francisco
I'm a computer science student and I love tech and programing!
I'm from Portugal
Connect with me:
🌱 I'm interested in
- Programs and Proofs
- Compilers and Type Theory
- Distributed Systems and Microservices Architecture
- Systems Programing
Projects
🔭 I’m currently working on - Luna, general-purpose programing language built with OCaml.
Chess
♟️ Chess Player - Nickname: ProgramingIsTheFutur or ProgramingIsTheFuture