domschrei / soundsoutofbounds
A songbook about IT and computer science
☆17Updated 5 years ago
Alternatives and similar repositories for soundsoutofbounds:
Users that are interested in soundsoutofbounds are comparing it to the libraries listed below
- Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…☆11Updated 3 weeks ago
- Karlsruhe Rapid Ridesharing (KaRRi) Dynamic Taxi Sharing Dispatcher.☆12Updated this week
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆13Updated last year
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆64Updated this week
- REplicated STORagE☆13Updated last year
- Winning Solver of PACE Challenge 2019 Track A☆12Updated 3 years ago
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated 4 months ago
- Generate pgfplots or gnuplots from embedded SQL statements☆27Updated 7 months ago
- ☆17Updated last month
- KaGen: Communication-free Massively Distributed Graph Generators☆37Updated 2 weeks ago
- More Hierarchy in Route Planning Using Edge Hierarchies☆15Updated 5 years ago
- Parallel Wavelet Tree and Wavelet Matrix Construction☆26Updated last year
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆150Updated 5 years ago
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 3 years ago
- KaMPIng: (Near) zero-overhead MPI wrapper for modern C++☆46Updated this week
- Implementation of the sacabench framework☆16Updated 3 years ago
- The Ipe extensible drawing editor☆183Updated 4 months ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆39Updated this week
- Packed and Compressed Hash Tables☆15Updated last year
- python module for running experiments☆9Updated last year
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- Prüfungsprotokolle 🎉☆9Updated 5 years ago
- Implementation of multi-core (binary) decision diagrams☆71Updated 9 months ago
- Paper, code, experiments and evaluation for ESA2020 paper "Space-efficient, Fast and Exact Routing in Time-dependent Road Networks"☆10Updated 4 years ago
- Parallel space-efficient minimal perfect hash function on SIMD and GPU☆14Updated 3 months ago
- Team Contest Reference and additional material for Team ChaosKITs☆13Updated 5 years ago
- A website providing links, redirects and tools related to the Technical University Munich☆144Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆120Updated this week
- Management of Benchmark Instances and Instance Attributes☆19Updated 4 months ago