Projects in Awesome Lists by darrenldl
A curated list of projects in awesome lists by darrenldl .
https://github.com/darrenldl/docfd
TUI multiline fuzzy document finder
document-management fuzzy-search grep-like indexed-search search tui
Last synced: 16 May 2025
https://github.com/darrenldl/blockyarchive
Blocky archive - multithreaded archiver offering bit rot protection and sector level recoverability
archive backup bitrot blkar blocky-archive blockyarchive burst-sector-errors data-recovery fec forward-error-correction recovery reed-solomon reedsolomon rsbx rust sbx sector-level-recovery seqbox
Last synced: 07 Apr 2025
https://github.com/darrenldl/sandboxing
Scripts, files and tools related to sandboxing
apparmor apparmor-profiles bubblewrap bubblewrap-scripts sandboxing
Last synced: 16 May 2025
https://github.com/darrenldl/stramon
Process behavior monitoring utility and library based on strace
Last synced: 16 May 2025
https://github.com/darrenldl/proverif-atp
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
protocol-verification proverif security-protocol
Last synced: 16 May 2025
https://github.com/darrenldl/distrproc
Erlang style process/actor model library in OCaml
Last synced: 16 May 2025
https://github.com/darrenldl/ocaml-lxc
OCaml binding to LXC with idiomatic (and opionated) OCaml API design
ffi lxc lxc-containers ocaml ocaml-lxc
Last synced: 16 May 2025
https://github.com/darrenldl/dirsift
Search for directories by types
command-line filesystem search tool
Last synced: 16 May 2025
https://github.com/darrenldl/ocaml-lt-code
OCaml implementation of a Luby transform code
Last synced: 16 May 2025
https://github.com/darrenldl/blkar-helpers
Helper scripts/programs for using blkar
Last synced: 16 May 2025
https://github.com/darrenldl/ezsetfacl
setfacl across multiple files, and basic manipulation of files
Last synced: 16 May 2025
https://github.com/darrenldl/ocaml-pcg
OCaml implementation of the PCG random number generator
Last synced: 16 May 2025
https://github.com/darrenldl/rfec
File splitter with FEC, similar to zfec binary
Last synced: 16 May 2025
https://github.com/darrenldl/ocaml-playground
Mainly left over code from osbx
Last synced: 16 May 2025
https://github.com/darrenldl/oseq-num-sequences
Prebuilt number sequences implemented using OSeq
Last synced: 16 May 2025
https://github.com/darrenldl/laptop_install_scripts_soft
Archlinux installation scripts for latpop, without encryption or grsec kernel installation
Last synced: 16 May 2025
https://github.com/darrenldl/firewall-tree-demos
MirageOS demos for ocaml-firewall-tree library
Last synced: 16 May 2025
https://github.com/darrenldl/firewall-tree-mirage
MirageOS backend code for Firewall-tree library
Last synced: 16 May 2025
https://github.com/darrenldl/blockystore
Simple file server using EC-SeqBox for robust storage
Last synced: 16 May 2025
https://github.com/darrenldl/autobwrap
Automatic bubblewrap policy generator
Last synced: 16 May 2025
https://github.com/darrenldl/oali-profiles
Collection of SaltStack files used for different profiles of Oali
Last synced: 16 May 2025
https://github.com/darrenldl/simple_safedata
C macros to provide bounds and constraints to variables/arrays
Last synced: 16 May 2025
https://github.com/darrenldl/tamarin-prover-container
Dockerfile for Tamarin prover
Last synced: 16 May 2025
https://github.com/darrenldl/protocol-analysis-container
Dockerfile for building container with protocol analysis tools
Last synced: 16 May 2025