Alternatives and similar repositories for Projetos-Universidade

Users that are interested in Projetos-Universidade are comparing it to the libraries listed below

• giventofly / cp1920
  Aulas práticas UM CP19-20
  ☆10Updated 5 years ago
• PQCMayo / MAYO-sage
  Sage implementation of the MAYO scheme
  ☆14Updated 5 months ago
• formosa-crypto / formosa-mlkem
  ☆14Updated this week
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆65Updated last week
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 2 weeks ago
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆41Updated this week
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆18Updated 2 months ago
• fmlab-iis / cryptoline
  ☆50Updated this week
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated last month
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆35Updated 9 years ago
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆16Updated 3 months ago
• ufmg-smite / carcara
  ☆38Updated last week
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆54Updated last month
• zhenfeizhang / raptor
  A PoC implementation of Raptor: lattice based linkable ring signature scheme
  ☆13Updated 5 years ago
• dtumad / VCV-io
  Formalized Cryptography Proofs in Lean 4
  ☆35Updated this week
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆297Updated this week
• Inria-Prosecco / reftls
  ☆32Updated last year
• JJChiDguez / sibc
  Supersingular Isogeny-Based Cryptography constructions (python-code library)
  ☆51Updated 2 years ago
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆172Updated last year
• geovandro / post-quantum-crypto
  Slides from talks and other materials related to post-quantum crypto
  ☆12Updated 4 years ago
• DeepSpec / sf
  ☆13Updated 6 months ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated this week
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• claucece / post-quantumers
  ☆18Updated 3 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆36Updated this week
• paulehoffman / post-quantum-for-engineers
  ☆11Updated 2 years 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
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆123Updated 5 months ago