Darren Li

Blocky archive - multithreaded archiver offering bit rot protection and sector level recoverability

darrenldl

ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification

darrenldl

Scripts, files and tools related to sandboxing

darrenldl

TUI multiline fuzzy document finder

darrenldl

Erlang style process/actor model library in OCaml

darrenldl

Process behavior monitoring utility and library based on strace

darrenldl