Research Scientist at Peraton Labs.
idris-qsort. Verified Quicksort in Idris 2
bch-codes. Python
dtds. Idris
