James Baker's repositories
bloom-filter
A trivial implementation of a bloom filter
cakeml
CakeML: A Verified Implementation of ML
cl-coursepage-adjuster
A chrome extension that copies the current term's courses to the top of the list.
docker-compose-rule-1
A JUnit rule to manage docker containers using docker-compose
docker-development-helper
Development helper for docker-toolbox. Takes care of shares using Vagrant so you can do a chill development flow.
dotfiler
The ultimate solution for managing dotfiles!
dropwizard
A damn simple library for building production-ready RESTful web services.
gradle-docker
a Gradle plugin for orchestrating docker builds and pushes.
gradle-processors
Gradle plugin for integrating Java annotations processors
hol-webpages
Webpages for the HOL4 website (currently at hol.sourceforge.net)
immutables
Annotation processor to create immutable objects and builders. Feels like Guava's immutable collections but for regular value objects. JSON, Jackson, Gson, JAX-RS integrations included
jackson-dataformat-yaml
Jackson module to add YAML backend (parser/generator adapters)
language-sml
Standard ML language support for Atom
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
OpenTorch
An incredibly simple, privacy safe BSD-licensed Android app for torch control.
resource-identifier
Common resource identifier specification for inter-application object sharing
Slang
Supervision work Slang compiler.
spring-security-saml
SAML extension for the Spring Security project
standard-ml.tmbundle
TextMate support for Standard ML
stashbot
A plugin for Atlassian Stash to allow easy, self-service continuous integration with Jenkins
xmonad-config
Personal xmonad configuration