giventofly / cp1920Links
Aulas práticas UM CP19-20
☆10Updated 5 years ago
Alternatives and similar repositories for cp1920
Users that are interested in cp1920 are comparing it to the libraries listed below
Sorting:
- ☆17Updated last year
- ☆20Updated 2 years ago
- Projects and exercises that I've done in my Software Engineering course at University of Minho☆22Updated last year
- Uma coleção de resumos, para ajudar os que precisam daquele empurrão.☆64Updated last year
- Sage implementation of the MAYO scheme☆14Updated 6 months ago
- Exercícios realizados no âmbito da cadeira de Sistemas Operativos (SO). MIEI - UM 2019/20☆10Updated 4 years ago
- discord bot for the LEI/MEI discord server☆16Updated last year
- ☆15Updated this week
- Proof assistant for qRHL☆22Updated last week
- Desafios de Programação da Universidade do Minho☆12Updated 3 years ago
- Examples for EasyCrypt Lectures☆24Updated last week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆361Updated this week
- A list of public APIs from Portuguese entities☆102Updated 4 years ago
- ☆58Updated 5 years ago
- Learn pure math with agda☆17Updated 2 months ago
- ☆13Updated 8 months ago
- A foundational framework for modular cryptographic proofs in Coq☆66Updated last week
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆175Updated last year
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 6 months ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆15Updated 2 years ago
- LaTeX template for MSc and PhD thesis for UMINHO University☆28Updated 2 years ago
- Oblivious transfer for multiparty computation☆37Updated 5 years ago
- ☆11Updated 2 years ago
- The Cryspen HACL Distribution☆19Updated 4 months ago
- ☆17Updated 3 years ago
- MAYO C implementation☆17Updated 5 months ago
- Lattices and Their Algorithms, Leiden, Spring 2024☆20Updated last year
- ☆27Updated last year
- Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans☆22Updated 7 years ago