Alternatives and similar repositories for dns-alloy:

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

• dfithian / chez-grater
  ☆36Updated last year
• NorfairKing / bevel
  ☆39Updated 2 months ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• teamniteo / nix-docker-base
  Nix Docker base images for fast and minimal builds.
  ☆22Updated last year
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆34Updated 2 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated last year
• hercules-ci / canonix
  Experiment in Nix formatting
  ☆22Updated 5 years ago
• vaibhavsagar / experiments
  Some experiments are more experimental than others.
  ☆27Updated last year
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆16Updated 2 months ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆60Updated 2 months ago
• NixOS / hydra-provisioner
  On-demand provisioning tool for Hydra
  ☆30Updated 6 years ago
• baloo / laurn
  Dev environment isolation
  ☆37Updated 3 years ago
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Updated 4 years ago
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• tlaplus / foundation
  TLA+ Foundation
  ☆29Updated this week
• lessrest / nixos-firecracker
  ☆17Updated 3 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• robur-coop / caldav
  Calendar server (CalDAV, RFC 4791) implementation in OCaml
  ☆60Updated last month
• zimbatm / shab
  the bash templating language
  ☆52Updated last year
• tomberek / lambdanix
  ☆18Updated 5 years ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆13Updated this week
• hercules-ci / project.nix
  A configuration manager for your projects
  ☆13Updated 3 years ago
• cachix / gptcomment
  ☆16Updated last year
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year