Alternatives and similar repositories for dns-alloy:

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

• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• robur-coop / caldav
  Calendar server (CalDAV, RFC 4791) implementation in OCaml
  ☆60Updated last week
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated last year
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• NixOS / hydra-provisioner
  On-demand provisioning tool for Hydra
  ☆30Updated 5 years ago
• teamniteo / nix-docker-base
  Nix Docker base images for fast and minimal builds.
  ☆22Updated last year
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago
• dfithian / chez-grater
  ☆36Updated last year
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 10 months ago
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Updated 4 years ago
• hercules-ci / project.nix
  A configuration manager for your projects
  ☆13Updated 3 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆16Updated last month
• vaibhavsagar / experiments
  Some experiments are more experimental than others.
  ☆27Updated last year
• baloo / laurn
  Dev environment isolation
  ☆37Updated 3 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated last year
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• pabloariasal / protofmt
  Formatter for Protocol Buffer files
  ☆28Updated 2 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
• NorfairKing / bevel
  ☆39Updated last month
• fpco / cache-s3
  ☆33Updated 5 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆42Updated last year
• d2km / nixformat
  ☆19Updated last year
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated 11 months ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 9 years ago
• lessrest / nixos-firecracker
  ☆17Updated 3 years ago