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
• TrustworthyComputing / helm
  HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables
  ☆10Updated 5 months ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆59Updated 7 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆15Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 7 months ago
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated 9 months ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated 8 months ago
• NatoliChris / diablo-benchmark
  The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…
  ☆12Updated last year
• eellak / gsoc17module-zeus
  Repository of GSOC 2017 GFOSS Project for improving Zeus.
  ☆8Updated 7 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated this week
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆13Updated 10 months ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• nmosier / clou
  ☆10Updated last year
• claucece / formal-tutorials
  ☆29Updated 3 years ago
• cfrg / draft-irtf-cfrg-vdaf
  VDAF specification
  ☆22Updated this week
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆18Updated last year
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆46Updated 3 weeks ago
• formosa-crypto / libjade
  Crypto library
  ☆55Updated 2 weeks ago
• lducas / BDD-note
  ☆13Updated 3 years ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆38Updated 2 months ago
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆45Updated last year
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆14Updated 2 weeks ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 5 months ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆52Updated last year
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆33Updated last year