Soeren Roerden's starred repositories
gdb-dashboard
Modular visual interface for GDB in Python
ixy-languages
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
atomic_queue
C++ lockless queue.
chart-parts
A flexible, React-friendly, Grammar of Graphics for data visualization
stackfuture
A wrapper around Rust futures that stores the future in space provided by the caller.
smr-benchmark
SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
AliveInLean
Formally verified implementation of Alive in Lean
BLAS-on-flash
Linear algebra subroutines for large SSD-resident dense and sparse matrices