darrenldl / sandboxing
Scripts, files and tools related to sandboxing
☆29Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for sandboxing
- A DNSmasq-like MirageOS unikernel☆23Updated 2 weeks ago
- SSH chat server using trust on first use for user registration☆30Updated 2 months ago
- Mirror of https://git.robur.coop/robur/webauthn/☆22Updated last month
- TLS client program☆11Updated 4 years ago
- Nitrokey NetHSM system software and firmware☆54Updated this week
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆30Updated this week
- A TLS reverse proxy unikernel☆35Updated last month
- A pure OCaml implementation of the i3 IPC protocol☆24Updated 2 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 2 months ago
- A simple library for manipulating Master Boot Records☆17Updated 8 months ago
- MirageOS traceroute unikernel☆17Updated last month
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆15Updated 2 years ago
- A pipeline that deploys unikernels and other services☆22Updated last week
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆24Updated 6 months ago
- A TLA+ specification for the Xen vchan protocol☆15Updated 5 years ago
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- Like detective conan, find clue about the type of the file☆48Updated 2 months ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆11Updated 2 years ago
- Experimental "docker build" alternative using btrfs/zfs snapshots☆60Updated 2 months ago
- Foundations of Computer Science notebooks☆16Updated last month
- Pure OCaml implementation of libXdiff (Rabin's fingerprint)☆20Updated last year
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- OCaml library to access Maildir folders☆18Updated 5 years ago
- QOI image codec for OCaml (unreleased)☆11Updated last month
- Distribute CI builds to worker nodes over Cap'n Proto☆35Updated last month
- A set of tools to work with Gameboy stuff☆13Updated last year
- Software construction and deployment kit☆33Updated 2 weeks ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated last year
- Ocaml modular spam filter☆15Updated 2 months ago