lorin / dns-alloyLinks
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:
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- ☆37Updated last year
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 9 months ago
- Brainfuck with Actors☆36Updated 6 years ago
- Proposed documentation for alloytools.org☆70Updated 8 months ago
- jann - configuration deployment tool for *nix☆37Updated 5 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆77Updated last year
- Create maintainable nomad job files☆25Updated last year
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Ansible definitions with Dhall☆68Updated last year
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated last month
- Stroll: an experimental build system☆41Updated 2 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆43Updated 6 months ago
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Modeling AWS application load balancers using Alloy☆13Updated 3 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- Tooling to manage complexity and increase discoverability in Terraform by writing in Dhall.☆45Updated 6 years ago
- CrashDB is an ephemeral in-memory NoSQL database for the confident developer.☆22Updated 6 years ago
- Formatter for Protocol Buffer files☆29Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Bundles code and a job to run for local or remote execution.☆192Updated 5 months ago