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
• 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
• PQCMayo / MAYO-sage
  Sage implementation of the MAYO scheme
  ☆14Updated 5 months ago
• lfcc1 / spln2223
  ☆8Updated 2 years ago
• formosa-crypto / formosa-mlkem
  ☆14Updated this week
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 2 weeks ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆65Updated last week
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆18Updated 2 months ago
• cesium / DPUM
  Desafios de Programação da Universidade do Minho
  ☆12Updated 3 years ago
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆41Updated this week
• Inria-Prosecco / reftls
  ☆32Updated last year
• mupq / mupq
  Provides common files for instances of mupq, e.g., for pqm4 and pqriscv
  ☆12Updated 2 weeks ago
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆17Updated last year
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆172Updated last year
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• ixaxaar / monoid.space
  Learn pure math with agda
  ☆17Updated 3 weeks ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆911Updated 3 years ago
• JoaoNunoAbreu / terminal-based-todo-app
  Simple terminal based todo app
  ☆11Updated 2 years ago
• capablevms / cheri-examples
  CHERI sample C programs
  ☆11Updated 6 months ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated last month
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆356Updated this week
• fmlab-iis / cryptoline
  ☆50Updated this week
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆16Updated 3 months ago
• zhenfeizhang / raptor
  A PoC implementation of Raptor: lattice based linkable ring signature scheme
  ☆13Updated 5 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
• DeepSpec / sf
  ☆13Updated 6 months ago