Darren Li

icon indicating an email [email protected]

icon company Australian National University icon location Sydney, Australia icon location I write bytes. CS PhD student at ANU.

Results 6 repositories owned by Darren Li

blockyarchive

92
Stars
4
Forks
Watchers

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

verified publisher icon darrenldl

ProVerif-ATP

22
Stars
4
Forks
Watchers

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

verified publisher icon darrenldl

sandboxing

28
Stars
0
Forks
Watchers

Scripts, files and tools related to sandboxing

verified publisher icon darrenldl

docfd

183
Stars
4
Forks
Watchers

TUI multiline fuzzy document finder

verified publisher icon darrenldl

distrproc

15
Stars
0
Forks
Watchers

Erlang style process/actor model library in OCaml

verified publisher icon darrenldl

stramon

25
Stars
0
Forks
Watchers

Process behavior monitoring utility and library based on strace

verified publisher icon darrenldl