Alternatives and similar repositories for cp1920

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

• W4lker19 / SO-Theory
  ☆20Updated 2 years ago
• mendess / ResumosMIEI
  Uma coleção de resumos, para ajudar os que precisam daquele empurrão.
  ☆64Updated 2 years ago
• formosa-crypto / formosa-mlkem
  ☆16Updated this week
• PQCMayo / MAYO-sage
  Sage implementation of the MAYO scheme
  ☆14Updated 10 months ago
• joaomlourenco / novathesis
  A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users…
  ☆922Updated this week
• cesium / DPUM
  Desafios de Programação da Universidade do Minho
  ☆12Updated 3 years ago
• ixaxaar / monoid.space
  Learn pure math with agda
  ☆16Updated last month
• b-pereira / novathesis
  LaTeX template for MSc and PhD thesis for UMINHO University
  ☆28Updated 2 years ago
• pedromsfernandes / ResumosMIEIC
  ☆57Updated 5 years ago
• DeepSpec / sf
  ☆14Updated 11 months ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated last month
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆37Updated 9 years ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆20Updated 7 months 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
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆26Updated 3 months ago
• dinispeixoto / Reports
  Software Engineering @ University of Minho
  ☆18Updated 8 years ago
• tchajed / coq-tla
  ☆29Updated last year
• pedromigueladao / SSof
  Public Repo for Software Security Course@IST
  ☆21Updated 7 years ago
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆26Updated last week
• ufmg-smite / carcara
  ☆40Updated this week
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated last month
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆318Updated this week
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆43Updated last week
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆71Updated last week
• katamaran-project / katamaran
  Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…
  ☆18Updated this week
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated 10 months ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆22Updated last year
• smtcoq / sniper
  ☆38Updated 8 months ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆53Updated 2 months ago
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆46Updated 3 years ago