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
• eellak / gsoc17module-zeus
  Repository of GSOC 2017 GFOSS Project for improving Zeus.
  ☆8Updated 7 years ago
• cvrac / master-thesis
  Master Thesis text, University of Athens
  ☆9Updated 5 years ago
• balourdos / MemonomenaPeristatika.gr
  Μεμονωμένα Περιστατικά αστυνομικής βίας
  ☆78Updated 4 years ago
• eellak / gsoc17-diavgeia
  Diavgeia Redefined: Redefined functionality of Diavgeia using RDF and Blockchain (GSOC 2017 GFOSS Project).
  ☆13Updated 6 years ago
• TrustworthyComputing / helm
  HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables
  ☆11Updated 2 months ago
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆12Updated 2 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• imdea-software / homomorphic-authentication-library
  HAL: A Library for Homomorphic Authentication
  ☆20Updated 8 years ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 3 years ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 4 months ago
• HACS-workshop / HACS-workshop.github.io
  High Assurance Cryptographic Software
  ☆10Updated 7 months ago
• ucbrise / MerkleSquare
  A Go library for MerkleSquare: A Low-Latency Transparency Log System
  ☆22Updated 4 years ago
• claucece / Secure-Messaging-Summit
  The secure messaging summit information
  ☆20Updated 4 years ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated last year
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆15Updated 2 years ago
• NillionNetwork / ripple
  Ripple: Accelerating Programmable Bootstraps for FHE with Wavelet Approximations
  ☆11Updated 10 months ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 9 months ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆34Updated last week
• cryptobib / cryptobib
  CryptoBib Main Repository for Developers
  ☆19Updated 10 months ago
• cfrg / draft-irtf-cfrg-vdaf
  VDAF specification
  ☆23Updated last week
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆83Updated 3 years ago
• bifurcation / tamarin-ake
  Models for authenticated key exchange in Tamarin
  ☆12Updated 5 years ago
• JJChiDguez / csidh
  Stronger and Faster Side-Channel Protections for CSIDH
  ☆19Updated 4 years 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
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆44Updated 4 years ago
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated last year
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago