lorin / dns-alloyLinks
Modeling DNS with Alloy
☆37Updated 3 years ago
Alternatives and similar repositories for dns-alloy
Users that are interested in dns-alloy are comparing it to the libraries listed below
Sorting:
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated last week
- The symbolic links manager for your configuration files☆34Updated 3 months ago
- Some experiments are more experimental than others.☆27Updated last year
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- Formatter for Protocol Buffer files☆29Updated 2 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Calendar server (CalDAV, RFC 4791) implementation in OCaml☆60Updated 2 months ago
- Dhall helpers for github actions☆54Updated last year
- ☆37Updated last year
- Stroll: an experimental build system☆40Updated 2 years ago
- Content Addressable Storage Archive☆41Updated last year
- 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
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 7 months ago
- ☆16Updated last year
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆43Updated 4 months ago
- On-demand provisioning tool for Hydra☆30Updated 6 years ago
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- What do you mean?☆43Updated 3 months ago
- The Ur/Web People Organizer☆30Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- An automatic declarative ASCIInema recorder☆42Updated 2 weeks ago
- A dependently typed programming language, and verification tool☆26Updated 9 years ago
- Dependent hash maps☆14Updated 2 months ago