Alternatives and similar repositories for dns-alloy

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

• antifuchs / deptyr
  Run your tty programs pseudo-headlessly under a process supervisor
  ☆14Updated 7 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated last year
• NorfairKing / bevel
  ☆39Updated 2 weeks ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• dfithian / chez-grater
  ☆37Updated last year
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• blast-hardcheese / dhall-terraform
  Tooling to manage complexity and increase discoverability in Terraform by writing in Dhall.
  ☆45Updated 6 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• pabloariasal / protofmt
  Formatter for Protocol Buffer files
  ☆29Updated 2 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆67Updated last year
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated 2 years ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆16Updated 3 weeks ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• LeastAuthority / haskell-magic-wormhole
  Magic Wormhole for Haskell
  ☆11Updated last year
• commercialhaskell / casa
  Content Addressable Storage Archive
  ☆41Updated last year
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago
• NixOS / hydra-provisioner
  On-demand provisioning tool for Hydra
  ☆30Updated 6 years ago
• robur-coop / caldav
  Calendar server (CalDAV, RFC 4791) implementation in OCaml
  ☆60Updated 3 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Updated 4 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆21Updated 6 years ago
• vaibhavsagar / experiments
  Some experiments are more experimental than others.
  ☆27Updated last year
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 5 years ago