Alternatives and similar repositories for cp1920

Users that are interested in cp1920 are comparing it to the libraries listed below

• ruiAzevedo19 / UMinho
  ☆17Updated last year
• W4lker19 / SO-Theory
  ☆20Updated 2 years ago
• catarinamachado / uminho-miei
  Projects and exercises that I've done in my Software Engineering course at University of Minho
  ☆22Updated last year
• mendess / ResumosMIEI
  Uma coleção de resumos, para ajudar os que precisam daquele empurrão.
  ☆64Updated last year
• PQCMayo / MAYO-sage
  Sage implementation of the MAYO scheme
  ☆14Updated 6 months ago
• RisingFisan / SO
  Exercícios realizados no âmbito da cadeira de Sistemas Operativos (SO). MIEI - UM 2019/20
  ☆10Updated 4 years ago
• JoseFilipeFerreira / jbb.py
  discord bot for the LEI/MEI discord server
  ☆16Updated last year
• formosa-crypto / formosa-mlkem
  ☆15Updated this week
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated last week
• cesium / DPUM
  Desafios de Programação da Universidade do Minho
  ☆12Updated 3 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated last week
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆361Updated this week
• gpirescampos / public-api-portugal
  A list of public APIs from Portuguese entities
  ☆102Updated 4 years ago
• pedromsfernandes / ResumosMIEIC
  ☆58Updated 5 years ago
• ixaxaar / monoid.space
  Learn pure math with agda
  ☆17Updated 2 months ago
• DeepSpec / sf
  ☆13Updated 8 months ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆66Updated last week
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆175Updated last year
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated 6 months ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• bentodaniel / portulemicas
  Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.
  ☆15Updated 2 years ago
• b-pereira / novathesis
  LaTeX template for MSc and PhD thesis for UMINHO University
  ☆28Updated 2 years ago
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆37Updated 5 years ago
• paulehoffman / post-quantum-for-engineers
  ☆11Updated 2 years ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆19Updated 4 months ago
• dianazevedoferreira / UM_BD_2022
  ☆17Updated 3 years ago
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆17Updated 5 months ago
• lducas / Course-Leiden-2024
  Lattices and Their Algorithms, Leiden, Spring 2024
  ☆20Updated last year
• tchajed / coq-tla
  ☆27Updated last year
• msramalho / feup-iart-summary
  Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans
  ☆22Updated 7 years ago