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:
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Proposed documentation for alloytools.org☆70Updated 9 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 9 months ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- jann - configuration deployment tool for *nix☆37Updated 5 years ago
- Create maintainable nomad job files☆25Updated last year
- Ansible definitions with Dhall☆68Updated last year
- Stroll: an experimental build system☆41Updated 2 years ago
- ☆37Updated last year
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Tooling to manage complexity and increase discoverability in Terraform by writing in Dhall.☆45Updated 6 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- A helper to save me some keystrokes from nix-prefetch-git.☆13Updated 6 years ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- Formatter for Protocol Buffer files☆29Updated 3 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- Your happy place for learning APL☆16Updated 2 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- CrashDB is an ephemeral in-memory NoSQL database for the confident developer.☆22Updated 6 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- the bash templating language☆53Updated last year
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- ☆16Updated last year
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 2 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago