Darren Li

docfd. TUI multiline fuzzy document finder

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

sandboxing. Scripts, files and tools related to sandboxing

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

stramon. Process behavior monitoring utility and library based on strace

distrproc. Erlang style process/actor model library in OCaml

ocaml-lxc. OCaml binding to LXC with idiomatic (and opionated) OCaml API design

ocaml-SeqBox. Implementation of SeqBox in OCaml

oali. OCaml Arch Linux Installer

ocaml-tui-chat-demo. OCaml

dirsift. Search for directories by types

ocaml-reed-solomon-erasure. OCaml implementation of Reed-Solomon erasure coding

Batsh. A language that compiles to Bash and Windows Batch

ocaml-lt-code. OCaml implementation of a Luby transform code

ezsetfacl. setfacl across multiple files, and basic manipulation of files

tamarin-prover-container. Dockerfile for Tamarin prover

Dlist. Difference list library for OCaml

word-ladder-solver. OCaml

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

configs. Nix

blkar-helpers. Helper scripts/programs for using blkar

ffprinter. File fingerprint manager