darrenldl

Follow

💭

I may be slow to respond.

Darren darrenldl

💭

I may be slow to respond.

Follow

CS PhD student at ANU. Mostly interested in cybersecurity and symbolic computations.

71 followers · 74 following

Australian National University

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report darrenldl

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

daypack-dev/timere Public

OCaml date time handling and reasoning suite

OCaml 63 7
stramon Public

Process behavior monitoring utility and library based on strace

OCaml 18
ProVerif-ATP Public

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

OCaml 21 4
docfd Public

TUI fuzzy document finder

OCaml 8
sandboxing Public

Scripts, files and tools related to sandboxing

C 28
oali Public

OCaml Arch Linux Installer

OCaml 10

880 contributions in the last year

Learn how we count contributions

Contribution activity

March 2023

Created 142 commits in 5 repositories

Created a pull request in ocaml/opam-repository that received 4 comments

Added Docfd 0.3.3

TUI fuzzy document finder Homepage: https://github.com/darrenldl/docfd

+48 −0 • 4 comments