lorin / dns-alloy
Modeling DNS with Alloy
☆37Updated 3 years ago
Alternatives and similar repositories for dns-alloy
Users that are interested in dns-alloy are comparing it to the libraries listed below
Sorting:
- Create maintainable nomad job files☆25Updated last year
- For hosting ATS3 and developing CodeDepot☆14Updated 2 weeks ago
- ☆16Updated last year
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Stroll: an experimental build system☆40Updated 2 years ago
- Calendar server (CalDAV, RFC 4791) implementation in OCaml☆60Updated last month
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- ☆37Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A TLS reverse proxy unikernel☆36Updated 2 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 11 months ago
- The symbolic links manager for your configuration files☆34Updated 3 months ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Manage your Containerfile with Dhall.☆31Updated 3 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 7 months ago
- Prepared statement support for the system command☆29Updated 4 years ago
- ☆39Updated 3 months ago
- Formatter for Protocol Buffer files☆28Updated 2 years ago
- Key-value git-like storage with full history backed by RocksDB☆13Updated 4 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Magic Wormhole for Haskell☆11Updated last year
- Experiment in Nix formatting☆22Updated 5 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Dev environment isolation☆37Updated 4 years ago
- Beating haskell with C☆11Updated 5 years ago
- the bash templating language☆52Updated last year
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago