Alternatives and similar repositories for soundsoutofbounds:

Users that are interested in soundsoutofbounds are comparing it to the libraries listed below

• kamping-site / kassert
  Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…
  ☆11Updated 3 weeks ago
• molaupi / karri
  Karlsruhe Rapid Ridesharing (KaRRi) Dynamic Taxi Sharing Dispatcher.
  ☆12Updated this week
• niklas-uhl / katric
  KaTric: scalable distributed-memory triangle counting made in Karlsruhe
  ☆13Updated last year
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆64Updated this week
• ReStoreCpp / ReStore
  REplicated STORagE
  ☆13Updated last year
• KarlsruheMIS / pace-2019
  Winning Solver of PACE Challenge 2019 Track A
  ☆12Updated 3 years ago
• hu-macsy / dhb
  Dynamic Hashed Blocks (DHB) data structure for dynamic graphs
  ☆12Updated 4 months ago
• bingmann / sqlplot-tools
  Generate pgfplots or gnuplots from embedded SQL statements
  ☆27Updated 7 months ago
• marvinwilliams / multiqueue
  ☆17Updated last month
• KarlsruheGraphGeneration / KaGen
  KaGen: Communication-free Massively Distributed Graph Generators
  ☆37Updated 2 weeks ago
• Hespian / EdgeHierarchies
  More Hierarchy in Route Planning Using Edge Hierarchies
  ☆15Updated 5 years ago
• kurpicz / pwm
  Parallel Wavelet Tree and Wavelet Matrix Construction
  ☆26Updated last year
• cebe / pdfpc-latex-notes
  Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.
  ☆150Updated 5 years ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• kamping-site / kamping
  KaMPIng: (Near) zero-overhead MPI wrapper for modern C++
  ☆46Updated this week
• sacabench / sacabench
  Implementation of the sacabench framework
  ☆16Updated 3 years ago
• otfried / ipe
  The Ipe extensible drawing editor
  ☆183Updated 4 months ago
• KaHIP / KaMinPar
  Shared-Memory and Distributed-Memory Parallel Graph Partitioning
  ☆39Updated this week
• ByteHamster / PaCHash
  Packed and Compressed Hash Tables
  ☆15Updated last year
• thobl / run
  python module for running experiments
  ☆9Updated last year
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆26Updated 3 years ago
• se-studis / protokolle
  Prüfungsprotokolle 🎉
  ☆9Updated 5 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆71Updated 9 months ago
• kit-algo / catchup
  Paper, code, experiments and evaluation for ESA2020 paper "Space-efficient, Fast and Exact Routing in Time-dependent Road Networks"
  ☆10Updated 4 years ago
• ByteHamster / GpuRecSplit
  Parallel space-efficient minimal perfect hash function on SIMD and GPU
  ☆14Updated 3 months ago
• pjungeblut / ChaosKITs
  Team Contest Reference and additional material for Team ChaosKITs
  ☆13Updated 5 years ago
• mammuth / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆144Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆120Updated this week
• Udopia / gbd
  Management of Benchmark Instances and Instance Attributes
  ☆19Updated 4 months ago