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:
- ☆20Updated 2 years ago
- Projects and exercises that I've done in my Software Engineering course at University of Minho☆22Updated 2 years ago
- Uma coleção de resumos, para ajudar os que precisam daquele empurrão.☆64Updated 2 years ago
- discord bot for the LEI/MEI discord server☆16Updated last year
- Sage implementation of the MAYO scheme☆14Updated 11 months ago
- ☆57Updated 5 years ago
- .dotfiles of a computer wizard☆14Updated last week
- ☆16Updated last week
- Resolução das fichas da cadeira Programação Imperativa, do MIEI na UM. As fichas são relativas ao ano letivo 2018/19.☆30Updated 3 years ago
- Examples for EasyCrypt Lectures☆27Updated last week
- Learn pure math with agda☆16Updated 3 months ago
- Sample implementations of various numerical methods approached in the Curicular Unit "Métodos Numéricos" @MIEIC, FEUP☆10Updated 7 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Contém todas as fichas relativas à cadeira de Programação Funcional, do ano letivo 2018/19, e resoluções de testes e exames de anos anter…☆20Updated 3 years ago
- A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users…☆948Updated last week
- Teaching materials related to the Tamarin Prover☆71Updated last year
- Repositorio de la optativa para la FCEIA☆14Updated 9 months ago
- A PoC implementation of Raptor: lattice based linkable ring signature scheme☆14Updated 5 years ago
- Browser extension for VVZ (ETHZ)☆13Updated last month
- The Cryspen HACL Distribution☆20Updated 9 months ago
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆185Updated 4 months ago
- Exercism exercises in Haskell.☆518Updated last month
- Simple terminal based todo app☆11Updated 3 weeks ago
- ☆11Updated 2 years ago
- ☆69Updated 4 months ago
- A curated set of links to formal methods involving provable code.☆216Updated 4 years ago
- My slides and compilation of resources.☆158Updated last year
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 11 months ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Updated 4 years ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆63Updated last year