狠狠撸

haskell package-management idris caml agda paas docker kubernetes nixos nix linux modules cloud programming distributed-systems ocaml dependent-types software-verification quality-assurance formal-methods testing quickcheck build-systems package-systems devops operating-systems packages tech-radar heroku halcyon configuration-management atom text-editors programming-languages