Patrick Mahoney's repositories
adversarial
Code and hyperparameters for the paper "Generative Adversarial Networks"
bcriger.github.io
Personal website.
mirror-shard
Reflective verification procedures for separation logic programs in Coq
overtone
Collaborative Programmable Music
Language:ClojureNOASSERTION000
playframework
Play Framework
PureBomberMan
A simple, pure, concurrent game
sbt-builds-for-ide
Contains our aggregate builds of sbt deployed via Maven for IDE consumption. Also tests sbt "releaseable" code tags against new versions of scala.
sbt-native-packager-examples
A set of sbt-native-pakager examples
sbt-release
A release plugin for sbt (>= 0.11.0)
sbt-scalariform
sbt plugin adding support for source code formatting using Scalariform
sbt-unidoc
sbt plugin to create a unified API document across projects
scalastyle-sbt-plugin
scalastyle-sbt-plugin
type-systems
Implementations of various type systems in OCaml.
wartremover
Flexible Scala code linting tool