Jannis Harder

Results 3 repositories owned by


                                            Jannis Harder

Stars

Forks

Watchers

Lower Size Bounds for Sorting Networks

258

Stars

Forks

Watchers

SAT solver written in Rust

Stars

Forks

Watchers

A fast, deterministic, non-cryptographic hash for use in hash tables for Rust