Alternatives and similar repositories for cp1920

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

• manuelgcsousa / Projetos-Universidade
  MiEI - Projetos (1º Ano / 2º Ano / 3º Ano) - Universidade do Minho (2015-2018)
  ☆6Updated 6 years ago
• ruiAzevedo19 / UMinho
  ☆17Updated last year
• catarinamachado / uminho-miei
  Projects and exercises that I've done in my Software Engineering course at University of Minho
  ☆22Updated last year
• W4lker19 / SO-Theory
  ☆20Updated 2 years ago
• mendess / ResumosMIEI
  Uma coleção de resumos, para ajudar os que precisam daquele empurrão.
  ☆64Updated last year
• lfcc1 / spln2223
  ☆8Updated 2 years ago
• PQCMayo / MAYO-sage
  Sage implementation of the MAYO scheme
  ☆14Updated 6 months ago
• JoseFilipeFerreira / jbb.py
  discord bot for the LEI/MEI discord server
  ☆16Updated last year
• formosa-crypto / formosa-mlkem
  ☆15Updated this week
• RisingFisan / WALL-E
  A discord bot written in Python.
  ☆14Updated 3 years ago
• JoseFilipeFerreira / haskHell3D
  Haskell-Gloss Doom-like 3D shooter
  ☆10Updated 5 years ago
• RisingFisan / SO
  Exercícios realizados no âmbito da cadeira de Sistemas Operativos (SO). MIEI - UM 2019/20
  ☆10Updated 4 years ago
• ixaxaar / monoid.space
  Learn pure math with agda
  ☆17Updated last month
• joaomlourenco / novathesis
  A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users…
  ☆868Updated 3 weeks ago
• mendess / spell-book
  .dotfiles of a computer wizard
  ☆14Updated this week
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆359Updated this week
• NovaUNL / Supernova
  An university community portal
  ☆9Updated 3 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated last month
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆173Updated last year
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• phreppo / wstat
  While language static analyzer
  ☆10Updated 4 years ago
• JoseFilipeFerreira / toolbelt
  ⚙️ dotfiles, scripts & more
  ☆12Updated last month
• Qbricks / qbricks.github.io
  ☆6Updated 3 weeks ago
• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆16Updated 3 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆468Updated last month
• 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
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆41Updated this week
• zhenfeizhang / raptor
  A PoC implementation of Raptor: lattice based linkable ring signature scheme
  ☆13Updated 5 years ago
• uminho-miei-engseg-19-20 / EngSeg
  Repositório Engenharia Segurança 2019-20
  ☆5Updated 5 years ago
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆16Updated 4 months ago