Alternatives and similar repositories for dns-alloy:

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

• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• robur-coop / caldav
  Calendar server (CalDAV, RFC 4791) implementation in OCaml
  ☆60Updated this week
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• jgbyrne / jann
  jann - configuration deployment tool for *nix
  ☆37Updated 5 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated 11 months ago
• dhall-mock / dhall-mock
  Modern HTTP mock server for your daily project based on Dhall configuration
  ☆21Updated 4 years ago
• baloo / laurn
  Dev environment isolation
  ☆37Updated 3 years ago
• NixOS / hydra-provisioner
  On-demand provisioning tool for Hydra
  ☆30Updated 5 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated last year
• vaibhavsagar / experiments
  Some experiments are more experimental than others.
  ☆27Updated last year
• gunnihinn / crashdb
  CrashDB is an ephemeral in-memory NoSQL database for the confident developer.
  ☆22Updated 6 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated 2 weeks ago
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆34Updated last month
• dfithian / chez-grater
  ☆36Updated last year
• blast-hardcheese / dhall-terraform
  Tooling to manage complexity and increase discoverability in Terraform by writing in Dhall.
  ☆45Updated 6 years ago
• markhibberd / xsh
  Shell.
  ☆14Updated 7 years ago
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆29Updated 2 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• brendanhay / credentials
  Management and Distribution of Secret Credentials
  ☆23Updated 7 years ago
• cdepillabout / print-console-colors
  Print all the ANSI console colors for your terminal
  ☆11Updated 5 years ago