domschrei / soundsoutofbounds

Related projects: ⓘ

• kamping-site / kassert
  Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…
  ☆11Updated 5 months ago
• molaupi / karri
  Karlsruhe Rapid Ridesharing (KaRRi) Dynamic Taxi Sharing Dispatcher.
  ☆12Updated 3 weeks ago
• niklas-uhl / katric
  KaTric: scalable distributed-memory triangle counting made in Karlsruhe
  ☆12Updated last year
• marvinwilliams / multiqueue
  ☆13Updated 4 months ago
• ReStoreCpp / ReStore
  REplicated STORagE
  ☆11Updated last year
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆57Updated this week
• bingmann / sqlplot-tools
  Generate pgfplots or gnuplots from embedded SQL statements
  ☆24Updated last month
• kamping-site / kamping
  KaMPIng: (Near) zero-overhead MPI wrapper for modern C++
  ☆27Updated this week
• KarlsruheGraphGeneration / KaGen
  KaGen: Communication-free Massively Distributed Graph Generators
  ☆35Updated this week
• hu-macsy / dhb
  Dynamic Hashed Blocks (DHB) data structure for dynamic graphs
  ☆12Updated last month
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆30Updated 3 weeks ago
• KarlsruheMIS / pace-2019
  Winning Solver of PACE Challenge 2019 Track A
  ☆12Updated 3 years ago
• Hespian / EdgeHierarchies
  More Hierarchy in Route Planning Using Edge Hierarchies
  ☆15Updated 4 years ago
• KaHIP / KaMinPar
  Shared-Memory and Distributed-Memory Parallel Graph Partitioning
  ☆32Updated this week
• kurpicz / pwm
  Parallel Wavelet Tree and Wavelet Matrix Construction
  ☆26Updated last year
• sacabench / sacabench
  Implementation of the sacabench framework
  ☆15Updated 3 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆70Updated 2 months ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆55Updated 2 years ago
• celonis / homcc
  Work From Home friendly distcc replacement
  ☆31Updated 9 months ago
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆25Updated 5 months ago
• ByteHamster / PaCHash
  Packed and Compressed Hash Tables
  ☆14Updated 10 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆31Updated 2 weeks ago
• SSoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆22Updated last week
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆354Updated this week
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆46Updated last year
• SaschaWitt / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆159Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆65Updated 3 months ago
• TooBiased / DySECT
  Some near drop in stl compatible hash tables that are a lot more space efficient than any other options.
  ☆20Updated 2 years ago
• ByteHamster / GpuRecSplit
  Parallel space-efficient minimal perfect hash function on SIMD and GPU
  ☆14Updated 6 months ago
• SSoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆11Updated this week
• audemard / glucose
  The glucose SAT solver
  ☆68Updated 7 months ago