darrenldl / sandboxing
Scripts, files and tools related to sandboxing
☆29Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for sandboxing
- Experimental "docker build" alternative using btrfs/zfs snapshots☆60Updated last month
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆24Updated 5 months ago
- A DNSmasq-like MirageOS unikernel☆23Updated this week
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- Mirror of https://git.robur.coop/robur/webauthn/☆22Updated last month
- TLS client program☆11Updated 4 years ago
- SSH chat server using trust on first use for user registration☆30Updated last month
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- A pipeline that deploys unikernels and other services☆22Updated 3 weeks ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated this week
- A pure OCaml implementation of the i3 IPC protocol☆24Updated 2 years ago
- A simple library for manipulating Master Boot Records☆17Updated 8 months ago
- Pure OCaml implementation of libXdiff (Rabin's fingerprint)☆20Updated last year
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆15Updated 2 years ago
- Foundations of Computer Science notebooks☆16Updated last month
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- Key-value git-like storage with full history backed by RocksDB☆13Updated 4 years ago
- Nitrokey NetHSM system software and firmware☆53Updated last week
- tamper resistant audit log☆18Updated 6 years ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated last year
- Ocaml modular spam filter☆15Updated last month
- An opinionated implementation of the OpenVPN protocol☆79Updated 3 weeks ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆11Updated 2 years ago
- A TLS reverse proxy unikernel☆35Updated 2 weeks ago
- Distribute CI builds to worker nodes over Cap'n Proto☆34Updated last month
- Ocamldap is an implementation of the Light Weight Directory Access Protocol☆14Updated 3 months ago
- A set of tools to work with Gameboy stuff☆13Updated last year
- OCaml bindings for the userspace eBPF VM☆11Updated 2 years ago
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 2 months ago