lorin / dns-alloy

Related projects: ⓘ

• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆66Updated 10 months ago
• lorin / alb-alloy
  Modeling AWS application load balancers using Alloy
  ☆13Updated 2 years ago
• pabloariasal / protofmt
  Formatter for Protocol Buffer files
  ☆28Updated 2 years ago
• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated 5 months ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 3 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆78Updated 3 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 2 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆55Updated 10 months ago
• NixOS / hydra-provisioner
  On-demand provisioning tool for Hydra
  ☆29Updated 5 years ago
• dhall-mock / dhall-mock
  Modern HTTP mock server for your daily project based on Dhall configuration
  ☆21Updated 3 years ago
• tomberek / lambdanix
  ☆16Updated 5 years ago
• baloo / laurn
  Dev environment isolation
  ☆36Updated 3 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆75Updated 2 years ago
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆24Updated 3 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆79Updated this week
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆29Updated last week
• dfithian / chez-grater
  ☆37Updated 10 months ago
• begriffs / wc
  Beating haskell with C
  ☆11Updated 4 years ago
• vaibhavsagar / experiments
  Some experiments are more experimental than others.
  ☆26Updated 5 months ago
• hercules-ci / canonix
  Experiment in Nix formatting
  ☆21Updated 4 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆35Updated 5 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 3 months ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 4 months ago
• lessrest / nixos-firecracker
  ☆17Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆14Updated this week
• teamniteo / nix-docker-base
  Nix Docker base images for fast and minimal builds.
  ☆22Updated last year
• NorfairKing / bevel
  ☆36Updated this week
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago