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
• JoseFilipeFerreira / jbb.py
  discord bot for the LEI/MEI discord server
  ☆16Updated last year
• RisingFisan / WALL-E
  A discord bot written in Python.
  ☆14Updated 3 years ago
• PQCMayo / MAYO-sage
  Sage implementation of the MAYO scheme
  ☆14Updated 7 months ago
• formosa-crypto / formosa-mlkem
  ☆17Updated this week
• cesium / DPUM
  Desafios de Programação da Universidade do Minho
  ☆12Updated 3 years ago
• gpirescampos / public-api-portugal
  A list of public APIs from Portuguese entities
  ☆102Updated 4 years ago
• JoseFilipeFerreira / toolbelt
  ⚙️ dotfiles, scripts & more
  ☆12Updated 3 weeks ago
• joaomlourenco / novathesis
  A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users…
  ☆881Updated 2 months ago
• mendess / spell-book
  .dotfiles of a computer wizard
  ☆14Updated this week
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆26Updated 3 weeks ago
• ufmg-smite / carcara
  ☆39Updated last week
• ixaxaar / monoid.space
  Learn pure math with agda
  ☆17Updated this week
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated 3 weeks ago
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆37Updated 5 years ago
• RisingFisan / Programacao-Funcional
  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…
  ☆19Updated 2 years ago
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆35Updated 9 years ago
• JoaoNunoAbreu / terminal-based-todo-app
  Simple terminal based todo app
  ☆11Updated 2 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆52Updated 3 months ago
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 5 months ago
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated 7 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 10 months ago
• tchajed / coq-tla
  ☆27Updated last year
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆364Updated this week
• ipdl / ipdl
  ☆10Updated 2 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆66Updated 3 weeks ago
• paulehoffman / post-quantum-for-engineers
  ☆11Updated 2 years ago