Afonso B. Sousa's repositories
ProverX-Helper-Functions
Work-in-progress. Small helper Python functions I made while working for LaiTeP in NOVA (Laboratory for Augmented Intelligence in Theorem Proving). ProverX is an extension of Prover9 and is automated theorem prover available at http://proverx.com
automate-python
My solutions to the exercises in the "Automate the Boring Stuff with Python" Udemy course by Al Sweigart.
ChatGPTSidebar
A simple, useful Firefox extension that opens ChatGPT on the sidebar, alongside your current tab.
CopilotSidebar
Open Microsoft Copilot while browsing with this nifty simple toolbar extension, just like Microsoft Edge.
cube.c
Cube.c ported to Rust. https://youtu.be/p09i_hoFdd0
ExcelForDoctors-CourseMaterials
This repository contains some of the course materials for my 1-Day Excel course in 2023 aimed at young GP / Family Medicine intern doctors (in Portuguese).
jornadaslvt
Website I made for III Jornadas do Internato Médico da ARSLVT, a scientific congress for young Family Doctors, in 2021. https://abtsousa.github.io/jornadaslvt/
mailmerge
A simple, command line mail merge tool.
rustlings
My solutions to rustlings exercises - trying to teach myself Rust :)
mdma
A collection of class notes and proofs for a Discrete Mathematics university course (in Portuguese). https://abtsousa.github.io/mdma/
MedicalTerms-PT-pt
A dictionary of european Portuguese medical terms.
noitedamedicina
Website I made for Noite da Medicina in my final med year. Last updated in 2015. http://noitedamedicina.github.io/
NOVA-CA
This repo contains all four projects for the Computer Architecture class at NOVA SST 2022/2023. Made in C, Bash (shell) and x86-64 ASM.
NOVA-IP-FinalProjects
This repo contains both final projects for the Intro to Programming class at NOVA SST 2022/2023. They are both based on the board game "Game of Life", or "Jogo da Glória", as it's known in Portugal.
NOVA-OOP-FinalProjects
This repo contains both final projects for the Object-Oriented Programming class at NOVA SST 2022/2023. The first is a 1984-like surveillance system called "Gossip", and the second is a movie reviewing platform.
ocaml99
My solution to OCaml's 99 exercises
spaceescape
A rhythm game for FCT-NDV Game Jam 2023
webinarlvt
Small website I made for a yearly scientific event for young doctors in 2020, that later turned into a webinar due to the pandemic. https://abtsousa.github.io/webinarlvt/