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 5 years ago
• eellak / gsoc17module-zeus
  Repository of GSOC 2017 GFOSS Project for improving Zeus.
  ☆8Updated 7 years ago
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years ago
• TrustworthyComputing / helm
  HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables
  ☆10Updated 2 weeks ago
• momalab / csaw_esc_2017
  CSAW 2017 Embedded Security Challenge
  ☆12Updated 6 years ago
• microsoft / Nimble
  Rollback protection for confidential services
  ☆31Updated last year
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 4 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 7 months ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated 10 months ago
• lgarron / crypto.graphics
  crypto.graphics
  ☆27Updated 5 years ago
• cfrg / draft-irtf-cfrg-vdaf
  VDAF specification
  ☆23Updated this week
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆52Updated 7 years ago
• henrycg / prio
  Prototype implementation of Prio, a system for the private computation of aggregate statistics.
  ☆63Updated 7 years ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated 10 months ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆33Updated last week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 8 months ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆35Updated last year
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆26Updated last year
• fmlab-iis / cryptoline
  ☆48Updated 2 weeks ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 2 years ago
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆16Updated 3 weeks ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆55Updated last year
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆40Updated this week
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆65Updated 5 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 2 months ago
• geovandro / post-quantum-crypto
  Slides from talks and other materials related to post-quantum crypto
  ☆12Updated 4 years ago
• jbms / ecmh
  Elliptic Curve Multiset Hash
  ☆17Updated 6 years ago