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☆81Updated 4 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Proposed documentation for alloytools.org☆71Updated 3 weeks ago
- Create maintainable nomad job files☆25Updated last year
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 11 months ago
- Stroll: an experimental build system☆41Updated 2 years ago
- jann - configuration deployment tool for *nix☆37Updated 5 years ago
- Ansible definitions with Dhall☆68Updated last year
- Tooling to manage complexity and increase discoverability in Terraform by writing in Dhall.☆46Updated 6 years ago
- Formatter for Protocol Buffer files☆29Updated 3 years ago
- ☆37Updated last year
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- A helper to save me some keystrokes from nix-prefetch-git.☆13Updated 6 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- CrashDB is an ephemeral in-memory NoSQL database for the confident developer.☆22Updated 6 years ago
- Functional, expression-oriented data processing language☆90Updated 3 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- The 9p protocol as a serde format and message types.☆31Updated 4 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- Tool for uploading unikernels into EC2☆76Updated 7 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- CLI-driven TLA+ project template☆43Updated 6 years ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- A structural editor for JSON values☆77Updated 2 years ago