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
• 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
• cvrac / master-thesis
  Master Thesis text, University of Athens
  ☆9Updated 5 years ago
• eellak / gsoc17module-zeus
  Repository of GSOC 2017 GFOSS Project for improving Zeus.
  ☆8Updated 7 years ago
• momalab / csaw_esc_2017
  CSAW 2017 Embedded Security Challenge
  ☆12Updated 7 years ago
• TrustworthyComputing / helm
  HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables
  ☆11Updated 2 months ago
• romulusae / romulus
  The Romulus family of lightweight cryptographic algorithms (authenticated encryption and hashing).
  ☆9Updated 2 years ago
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years ago
• Inria-Prosecco / reftls
  ☆30Updated last year
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• TrustworthyComputing / mastic
  Mastic: Private Weighted Heavy-Hitters and Attribute-Based Metrics
  ☆12Updated 6 months ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated 10 months ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 9 months ago
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆53Updated 7 years ago
• imdea-software / homomorphic-authentication-library
  HAL: A Library for Homomorphic Authentication
  ☆20Updated 8 years ago
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆42Updated 4 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated last year
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• claucece / post-quantumers
  ☆18Updated 3 years ago
• geovandro / post-quantum-crypto
  Slides from talks and other materials related to post-quantum crypto
  ☆12Updated 4 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆55Updated last year
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 4 months ago
• formosa-crypto / libjade
  Crypto library
  ☆60Updated last week
• schoppmp / oblivc-rust
  Rust wrapper for Obliv-C
  ☆11Updated 6 years ago
• cfrg / draft-irtf-cfrg-vdaf
  VDAF specification
  ☆23Updated 2 weeks ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated 2 years ago
• lgarron / crypto.graphics
  crypto.graphics
  ☆27Updated 5 years ago
• jellevos / oraqle
  A depth-aware secure computation compiler
  ☆13Updated last week