d
darrenldl
I write bytes. CS PhD student at ANU.
98 repositories
96 followers
Sydney, Australia
Repositories
Select a repository to view its commits, contributors, and more.public
docfd
TUI multiline fuzzy document finder
OCaml
243
4
1
Updated 9 hours ago
public
blockyarchive
Blocky archive - multithreaded archiver offering bit rot protection and sector level recoverability
Rust
94
4
14
Updated 3 months ago
public
sandboxing
Scripts, files and tools related to sandboxing
C
29
0
0
Updated 4 months ago
public
stramon
Process behavior monitoring utility and library based on strace
OCaml
26
0
0
Updated 4 months ago
public
ProVerif-ATP
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
OCaml
23
4
3
Updated 2 months ago
public
distrproc
Erlang style process/actor model library in OCaml
OCaml
15
0
0
Updated 2 months ago
public
ocaml-lxc
OCaml binding to LXC with idiomatic (and opionated) OCaml API design
OCaml
13
0
1
Updated 4 months ago
public
ocaml-SeqBox
Implementation of SeqBox in OCaml
OCaml
11
1
0
Updated 2 years ago
public
oali
OCaml Arch Linux Installer
OCaml
10
0
2
Updated 2 years ago
public
ocaml-tui-chat-demo
OCaml
9
0
0
Updated a month ago
public
dirsift
Search for directories by types
OCaml
5
1
0
Updated 2 months ago
public
ocaml-reed-solomon-erasure
OCaml implementation of Reed-Solomon erasure coding
OCaml
5
0
0
Updated 2 years ago