Jan-Willem Maessen's repositories
Data.FastSequence
A fast replacement for Data.Sequence based on wider-fanout trees
bdd-subtyping
BDD-based subtyping proof of concept
Language:Isabelle000
bkk-hash
Mess with linear probing in line with Bender / Kuszmaul / Kuszmaul (https://arxiv.org/abs/2107.01250)
Language:Rust000