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
• cvrac / master-thesis
  Master Thesis text, University of Athens
  ☆9Updated 5 years ago
• TrustworthyComputing / helm
  HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables
  ☆10Updated 4 months ago
• eellak / gsoc17-diavgeia
  Diavgeia Redefined: Redefined functionality of Diavgeia using RDF and Blockchain (GSOC 2017 GFOSS Project).
  ☆13Updated 6 years ago
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years ago
• eellak / gsoc17module-zeus
  Repository of GSOC 2017 GFOSS Project for improving Zeus.
  ☆8Updated 7 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆58Updated 6 months ago
• gkastrinis / phd-thesis
  ☆10Updated 4 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 4 months ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated 11 months ago
• balourdos / MemonomenaPeristatika.gr
  Μεμονωμένα Περιστατικά αστυνομικής βίας
  ☆79Updated 3 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 4 years ago
• formosa-crypto / libjade
  Crypto library
  ☆55Updated 3 months ago
• LFrobeen / intellij-datalog
  ☆31Updated 2 years ago
• TrustworthyComputing / mastic
  Mastic: Private Weighted Heavy-Hitters and Attribute-Based Metrics
  ☆11Updated last month
• geooo109 / Computational_Geometry
  Spring 2018-2019
  ☆10Updated 5 years ago
• solegga / computer-security-class
  Computer Security Class - Department of Informatics and Telecommunications, University of Athens
  ☆12Updated 7 years ago
• lducas / BDD-note
  ☆13Updated 3 years ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• tamarin-prover / manual
  Tamarin prover manual: source files
  ☆24Updated last month
• jimouris / curl
  Curl: Private LLMs through Wavelet-Encoded Look-Up Tables
  ☆12Updated 5 months ago
• momalab / csaw_esc_2017
  CSAW 2017 Embedded Security Challenge
  ☆12Updated 6 years ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆14Updated last year
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆17Updated last year
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆12Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• apl-cornell / viaduct
  An extensible compiler for cryptography.
  ☆20Updated last week
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆52Updated 6 years ago