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
configs
Nix
0
0
0
Updated 3 months ago
public
tamarin-prover-container
Dockerfile for Tamarin prover
Dockerfile
0
0
0
Updated 3 years ago
public
simple_pool
pool memory allocator
C
0
0
0
Updated 9 years ago
public
simple_safedata
C macros to provide bounds and constraints to variables/arrays
C
0
0
0
Updated 9 years ago
public
rfec
File splitter with FEC, similar to zfec binary
0
0
0
Updated 7 years ago
public
simple_bitmap
simple C bitmap library
C
0
0
0
Updated 9 years ago
public
proverif-container
Dockerfile
0
0
0
Updated 2 years ago
public
blockystore
Simple file server using EC-SeqBox for robust storage
Python
0
0
0
Updated 6 years ago
public
stash2
0
0
0
Updated a year ago
public
backup-helpers
Shell
0
0
0
Updated 3 years ago
public
ocaml-pcg
OCaml implementation of the PCG random number generator
0
0
0
Updated 4 years ago
public
firewall-tree-mirage
MirageOS backend code for Firewall-tree library
0
0
0
Updated 6 years ago