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 last month
- Create maintainable nomad job files☆25Updated last year
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 11 months ago
- Ansible definitions with Dhall☆68Updated last year
- jann - configuration deployment tool for *nix☆37Updated 5 years ago
- Haskell binding for PADS☆20Updated 6 years ago
- Tool for uploading unikernels into EC2☆76Updated 7 years ago
- ☆37Updated last year
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆81Updated last week
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- ☆47Updated 8 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Calendar server (CalDAV, RFC 4791) implementation in OCaml☆60Updated last month
- the bash templating language☆53Updated last year
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- Formatter for Protocol Buffer files☆29Updated 3 years ago
- The 9p protocol as a serde format and message types.☆31Updated 4 years ago
- ☆23Updated 7 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago