Francisco Eiras's repositories
segment-select-correct
Code release for "Segment, Select, Correct: A Framework for Weakly-Supervised Referring Segmentation"
key-value-store
Final project for the class of Systems Programming
partial_crown
Code associated with the paper "Efficient Error Certification for Physics-Informed Neural Networks" (ICML'24).
aims-dei-gps
AIMS Data Estimation and Inference Gaussian Processes Lab
aims-es-calculator
Parser calculator in C++
aims-ml-nn
Neural network implementation from scratch
ANCER
ANCER: Anisotropic Certification via Sample-wise Volume Maximization
classes-IST
Apple Watch App to display student's classes at Técnico Lisboa
parot
PaRoT: A Practical Framework for Robust Deep Neural Network Training
recipeasy
[Winner OpenFood Challenge LauzHack 2016] We want to discourage packaging food, and suggest instead the healthy recipies.
Solar-Rooftops-CV
A web app where a user enters his address to receive the size of his rooftop available for solar panels. The app uses image segmentation to detect the rooftops and connects to an external API for data on the climate.
coderdojo-website
CoderDojo@Técnico website
Data_Dependent_Randomized_Smoothing
This is the official repo for the work "Data Dependent Randomized Smoothing"
English-Vocabulary-Word-List
Common English Vocabulary Word List
fgirbal.github.io
Personal website
hackerschool-buttons
HackerSchool themed buttons
hackerschool-donations
A website to accept donations to HackerSchool (non-profit)
ISTravel
Travel salesman problem implemented in C (using abstract data structures)
newFile
Simplifies the process of creating a new file in Matlab with an adequate header template.