Práctica de CS
Repositories
jiep repositories
Superficies regladas
Trabajo Fin de Grado
Trabajo Fin de Máster
Un simulador de un bingo hecho en Pascal
The php WhatsApp library
Taller de Adversarial Machine Learning
✨ Recognize all contributors, not just the ones who push code ✨
An ART tutorial
:atom: The hackable text editor
:sunglasses: Curated list of awesome lists
A curated list of awesome adversarial machine learning resources
list of differential-privacy related repositories
A curated list of resources about post-quantum cryptography
A topic-centric list of high-quality open datasets in public domains. By everyone, for everyone!
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.