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
• 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
• W4lker19 / SO-Theory
  ☆20Updated 2 years ago
• JoseFilipeFerreira / jbb.py
  discord bot for the LEI/MEI discord server
  ☆16Updated last year
• RisingFisan / SO
  Exercícios realizados no âmbito da cadeira de Sistemas Operativos (SO). MIEI - UM 2019/20
  ☆10Updated 5 years ago
• RisingFisan / WALL-E
  A discord bot written in Python.
  ☆14Updated 3 years ago
• formosa-crypto / formosa-mlkem
  ☆17Updated this week
• PQCMayo / MAYO-sage
  Sage implementation of the MAYO scheme
  ☆14Updated 8 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
• ixaxaar / monoid.space
  Learn pure math with agda
  ☆16Updated 2 weeks ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆19Updated 5 months ago
• joaomlourenco / novathesis
  A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users…
  ☆894Updated last week
• mendess / spell-book
  .dotfiles of a computer wizard
  ☆14Updated this week
• RisingFisan / Programacao-Imperativa
  Resolução das fichas da cadeira Programação Imperativa, do MIEI na UM. As fichas são relativas ao ano letivo 2018/19.
  ☆30Updated 3 years ago
• cesium / DPUM
  Desafios de Programação da Universidade do Minho
  ☆12Updated 3 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆26Updated last month
• pedromsfernandes / ResumosMIEIC
  ☆58Updated 5 years ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆366Updated this week
• JoseFilipeFerreira / toolbelt
  ⚙️ dotfiles, scripts & more
  ☆12Updated last month
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆67Updated this week
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated last year
• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆16Updated 3 years ago
• tamarin-prover / manual
  [Obsolete] Tamarin prover manual: source files
  ☆24Updated this week
• DeepSpec / sf
  ☆13Updated 9 months ago
• tweag / pirouette
  Language-generic workbench for building static analysis
  ☆47Updated 2 years ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆311Updated this week
• JoaoNunoAbreu / terminal-based-todo-app
  Simple terminal based todo app
  ☆11Updated 2 years ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 8 months ago
• ipdl / ipdl
  ☆10Updated 2 years ago