SECONDARY SKILLS • OCaml, dune, opam, Coq (basically) • Scala, sbt, cats, monocle, shapeless, Akka(actors, streams, http) • Clojure, leiningen • Python, pip, pyenv, pipenv, Matplotlib, Seaborn, Numpy, Skipy, Pandas, Skikit-learn • Ruby, RVM, Bundler, Ruby on Rails • Objective-C, Swift • CSS , HTML, XPath, Regex, UML, Http(Rest, GraphQL) • Bash, Zsh, homebrew, macports, portage, paludis, pacman, dpkg, Make • Emacs, Emacs Lisp • Kafka, Elastic Search, ZeroMQ, PostgreSQL • Nix, Docker, docker-compose, Jenkins, Mesos, Marathon, Heroku • Git, git flow, trunk-based development; Subversion; semantic versioning • Jira, Bugzilla, Redmine, YouTrack • Waterfall; Scrum & Kanban Agile methodologies