startling / partly
A Haskell library and command-line tool to create, inspect, and alter master boot records.
☆11Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for partly
- ☆25Updated 2 years ago
- Small set of scripts to ease handling of build chroots☆19Updated 4 years ago
- Colorful Git diffs for terminal and web, including source syntax highlighting☆24Updated 5 years ago
- ☆30Updated 7 years ago
- On-demand provisioning tool for Hydra☆29Updated 5 years ago
- generalize counter-examples of property-based testing☆13Updated 9 months ago
- Haskell bindings for systemd☆18Updated 4 months ago
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- Elis Hirwing's personal website☆12Updated this week
- Strip version restrictions from build dependencies in Cabal files.☆10Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- A human readable style for binary data.☆11Updated 4 years ago
- Randomize Git commit timestamps to enhance privacy☆10Updated 2 years ago
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆24Updated 3 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Updated 3 years ago
- Modeling DNS with Alloy☆37Updated 2 years ago
- library (and utility) for tracking filesystem changes☆17Updated 3 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆34Updated 6 years ago
- Run programs defined in nix expressions☆50Updated 7 years ago
- Run your tty programs pseudo-headlessly under a process supervisor☆12Updated 6 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Updated 8 years ago
- Simple NixOS-like Docker containers with declarative config☆21Updated 2 years ago
- Clipboard synchronization tool☆12Updated 11 months ago
- Filesystem access tracer☆81Updated 2 months ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 7 years ago
- Kexec into an in-memory emergency system☆31Updated 2 years ago
- Easily create authenticated data structures☆43Updated last year