Frederick Roth's repositories
tdd-idris
Working through "Type-Driven Development with Idris"
travis-build
.travis.yml => build.sh converter
circe
Yet another JSON library for Scala
my-mcmc
Implementing MCMC algorithms for pedagogic purposes
pebble-intellij
Pebble support for IntelliJ IDEA
refined
Simple refinement types for Scala
s3mock
Embedded S3 server for easy mocking
dotfiles
dotfiles
mob
CLI tool written in GO that allows to switch the typist in a remote mob programming session quickly with git and a remote branch.
telegraf
The plugin-driven server agent for collecting & reporting metrics.
oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 180+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
XR.Baboon
A Code coverage tool and GUI for c# on mono