Various tools for maintaining the repositories owned by JuliaPOMDP - View it on GitHub