Alternatives and similar repositories for graph-shortest-paths

Users that are interested in graph-shortest-paths are comparing it to the libraries listed below

• momalab / TERMinatorSuite
  Data-oblivious benchmarks.
  ☆11Updated 6 years ago
• formosa-crypto / libjade
  Crypto library
  ☆60Updated 3 weeks ago
• cvrac / master-thesis
  Master Thesis text, University of Athens
  ☆9Updated 5 years ago
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆16Updated 3 months ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated last year
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated last year
• divviup / libprio-rs
  Implementation of Prio in Rust.
  ☆111Updated last week
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• SQISign / the-sqisign
  Official SQIsign code, version under continuous development
  ☆32Updated last month
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆83Updated 3 years ago
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆53Updated 7 years ago
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆13Updated 2 years ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• Inria-Prosecco / reftls
  ☆32Updated last year
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆27Updated last year
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated last month
• henrycg / prio
  Prototype implementation of Prio, a system for the private computation of aggregate statistics.
  ☆63Updated 7 years ago
• phayes / sidefuzz
  Fuzzer to automatically find side-channel (timing) vulnerabilities
  ☆119Updated 4 years ago
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated last year
• lgarron / crypto.graphics
  crypto.graphics
  ☆28Updated 5 years ago
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆45Updated 4 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• Fraunhofer-AISEC / rabe
  rabe is an Attribute Based Encryption library, written in Rust
  ☆86Updated 4 months ago
• JJChiDguez / sibc
  Supersingular Isogeny-Based Cryptography constructions (python-code library)
  ☆51Updated 2 years ago
• scaspin / memory-safe-assembly
  Bottom-up memory-safety for assembly language using symbolic execution
  ☆16Updated last week
• cryptobib / cryptobib
  CryptoBib Main Repository for Developers
  ☆19Updated 10 months ago
• trailofbits / reverie
  An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
  ☆61Updated last year
• defeo / isogenies.bib
  A BibTeX collection on Isogeny-based Cryptography
  ☆17Updated 2 years ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• fmlab-iis / cryptoline
  ☆50Updated this week