frjnn
Follow
-
bf-c24 Public
Lean formalization of the Berge–Fulkerson C(24) theorem, with exhaustive finite verification and reproducible proof evidence.
-
bhtsne Public
Parallel Barnes-Hut t-SNE implementation written in Rust.
-
adqselect Public
Rust nth_element implementation that leverages Andrei Alexandrescu's Adaptive Quickselect algorithm.
-
floydrivest Public
Rust's nth_element implementation using the Floyd-Rivest algorithm.