lorin/dns-alloy external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lorin/dns-alloy

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lorin/dns-alloy)

Close

lorin / dns-alloyView on GitHubMore

• External links
• Readme badge

Modeling DNS with Alloy

☆37Dec 6, 2021Updated 4 years ago

Alternatives and similar repositories for dns-alloy

Users that are interested in dns-alloy are comparing it to the libraries listed below

• lorin / alb-alloy

  View on GitHub
  Modeling AWS application load balancers using Alloy
  ☆13Dec 27, 2021Updated 4 years ago
• berlinrs / tbd.rs

  View on GitHub
  Totally Badass Databases in Rust - an experiment
  ☆22Dec 24, 2018Updated 7 years ago
• scholtzan / juggled

  View on GitHub
  DIY LED Juggling Balls
  ☆11Sep 19, 2021Updated 4 years ago
• bolt12 / zettel

  View on GitHub
  Zettelkasten file processor
  ☆12Oct 7, 2020Updated 5 years ago
• DRMacIver / hypothesis-training

  View on GitHub
  Repository for my Hypothesis training course
  ☆11Sep 30, 2016Updated 9 years ago
• softprops / emoji-clock

  View on GitHub
  🕒 🐇 I'm late I'm late for a very important date
  ☆13Apr 29, 2021Updated 4 years ago
• browserdotsys / vecchio

  View on GitHub
  Rust implementation of Ray Tracing in One Weekend
  ☆12Jul 17, 2020Updated 5 years ago
• caolan / tamawiki

  View on GitHub
  I'm learning Rust!
  ☆13Nov 24, 2018Updated 7 years ago
• DmitryDodzin / mol

  View on GitHub
  Automatic versioning of packages with mono-repos in mind
  ☆13Oct 10, 2022Updated 3 years ago
• EgeKaanGurkan / k8sc

  View on GitHub
  A CLI application to make the use of "kubectl" more convenient
  ☆12Aug 22, 2022Updated 3 years ago
• tonedefdev / kubecsr

  View on GitHub
  ☆12Dec 21, 2021Updated 4 years ago
• achlipala / frapapp

  View on GitHub
  Web application for course on Formal Reasoning About Programs
  ☆17Sep 17, 2025Updated 5 months ago
• jamesmunns / undroppable

  View on GitHub
  ☆12Nov 14, 2021Updated 4 years ago
• reyk / ldapclient

  View on GitHub
  Simple LDAP client for OpenBSD using aldap, pledge(2) and no OpenLDAP
  ☆15Jun 13, 2018Updated 7 years ago
• fpco / haskell.fpcomplete.com

  View on GitHub
  FP Complete's Haskell Homepage
  ☆14Mar 17, 2020Updated 5 years ago
• hanshoglund / iso-deriving

  View on GitHub
  Derive instances through isomorphisms
  ☆20Jun 7, 2024Updated last year
• skirino / raft_kv

  View on GitHub
  An Elixir library to store key-value pairs in a distributed, fault-tolerant, self-adjusting data structure
  ☆20Apr 8, 2023Updated 2 years ago
• netzwerkgoettin / openHAB-1.x

  View on GitHub
  Not longer maintained openHAB 1.x related repository (FROZEN).
  ☆14Nov 23, 2016Updated 9 years ago
• hwayne / tlacli

  View on GitHub
  A script for running TLA+/TLC from the command line
  ☆82Apr 20, 2021Updated 4 years ago
• bolt12 / study-for-free

  View on GitHub
  Notes of various papers regaridng free monads and extensible effects
  ☆20Oct 10, 2019Updated 6 years ago
• kwanghoon / polyrpc

  View on GitHub
  PolyRPC, A multi-tier functional programming language
  ☆20Oct 4, 2022Updated 3 years ago
• kowainik / piece-of-cake-slayer

  View on GitHub
  🍰🍴Template project based on the cake-slayer architecture library
  ☆19Jan 11, 2023Updated 3 years ago
• kaos / gen_listener_tcp

  View on GitHub
  A generic tcp listener process adhering to OTP design principles
  ☆48Sep 5, 2016Updated 9 years ago
• epilys / buke

  View on GitHub
  full text search manpages
  ☆29Nov 6, 2021Updated 4 years ago
• mystor / phlay

  View on GitHub
  Phlay your commits onto Phabricator
  ☆20Jan 29, 2026Updated last month
• owickstrom / tlaplus-cli-template

  View on GitHub
  CLI-driven TLA+ project template
  ☆43May 5, 2019Updated 6 years ago
• cah4a / rekube

  View on GitHub
  React renderer for Kubernetes configurations
  ☆25Mar 11, 2024Updated last year
• KevinMGranger / nine

  View on GitHub
  The 9p protocol as a serde format and message types.
  ☆32May 21, 2021Updated 4 years ago
• kpcyrd / sn0int-modules

  View on GitHub
  ☆24Jul 13, 2024Updated last year
• withoutboats / smart

  View on GitHub
  dynamic smart pointers
  ☆32Feb 24, 2019Updated 7 years ago
• bluesomewhere / inclusion-rider

  View on GitHub
  An as-yet UNTESTED sample speaker's rider to share with event organizers.
  ☆21Jul 25, 2019Updated 6 years ago
• TyGuS / hoogle_plus

  View on GitHub
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆64Jul 19, 2025Updated 7 months ago
• oli-obk / quine-mc_cluskey

  View on GitHub
  Rust implementation of the Quine-McCluskey algorithm and Petrick's method
  ☆35May 4, 2023Updated 2 years ago
• jodevsa / kubectl-console

  View on GitHub
  Easily bash into kubernetes workers as if your ssh-ing into them
  ☆28Sep 24, 2024Updated last year
• dreixel / generic-deriving

  View on GitHub
  ☆45Jan 3, 2026Updated 2 months ago
• salesforce / runway-browser

  View on GitHub
  Interactive visualization framework for Runway models of distributed systems
  ☆186Feb 12, 2022Updated 4 years ago
• economist239 / BrandAnalytics

  View on GitHub
  Project of Data Mining group
  ☆16Aug 10, 2012Updated 13 years ago
• chillum / jsonmon

  View on GitHub
  Quick and simple monitoring and alerting system
  ☆27Dec 12, 2023Updated 2 years ago
• mozilla / moz-corsica

  View on GitHub
  [depricated] Public Corsica instance for the ambient Mozilla office
  ☆35Mar 15, 2022Updated 3 years ago