Alternatives and similar repositories for dns-alloy

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

• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated last year
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆14Updated 2 weeks ago
• cachix / gptcomment
  ☆16Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated 2 years ago
• robur-coop / caldav
  Calendar server (CalDAV, RFC 4791) implementation in OCaml
  ☆60Updated last month
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• dfithian / chez-grater
  ☆37Updated last year
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• robur-coop / tlstunnel
  A TLS reverse proxy unikernel
  ☆36Updated 2 months ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 11 months ago
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆34Updated 3 months ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 7 months ago
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago
• NorfairKing / bevel
  ☆39Updated 3 months ago
• pabloariasal / protofmt
  Formatter for Protocol Buffer files
  ☆28Updated 2 years ago
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 4 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• LeastAuthority / haskell-magic-wormhole
  Magic Wormhole for Haskell
  ☆11Updated last year
• hercules-ci / canonix
  Experiment in Nix formatting
  ☆22Updated 5 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• baloo / laurn
  Dev environment isolation
  ☆37Updated 4 years ago
• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• zimbatm / shab
  the bash templating language
  ☆52Updated last year
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago