Patrick Mahoney's repositories

adversarial

Code and hyperparameters for the paper "Generative Adversarial Networks"

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

asgard

Web interface for application deployments and cloud management in Amazon Web Services (AWS). Binary download: http://netflix.box.com/asgard Snapshot builds: https://netflixoss.ci.cloudbees.com/job/asgard-master/ Twitter: http://twitter.com/AsgardOSS

Language:GroovyLicense:Apache-2.0Stargazers:0Issues:3Issues:0

avian

Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

Language:C++License:NOASSERTIONStargazers:0Issues:3Issues:0

aws-cli

Universal Command Line Interface for Amazon Web Services

Language:PythonLicense:NOASSERTIONStargazers:0Issues:3Issues:0

bcriger.github.io

Personal website.

Language:CSSStargazers:0Issues:3Issues:0

config

Configuration library for JVM languages

Language:JavaStargazers:0Issues:3Issues:0
Language:ShellStargazers:0Issues:3Issues:0

dotty

Research platform for new language concepts and compiler technologies for Scala.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

git-up

Stop using "git pull". Be polite.

Language:RubyLicense:MITStargazers:0Issues:3Issues:0

Haxl

A Haskell library for efficient, concurrent, concise data access.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

homebrew

The missing package manager for OS X.

Language:RubyStargazers:0Issues:3Issues:0

mibble

Mibble is an open-source SNMP MIB parser (or SMI parser) written in Java. It can be used to read SNMP MIB files as well as simple ASN.1 files. Mibble is distributed as a Java library to make it possible to include it in your applications.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

mirror-shard

Reflective verification procedures for separation logic programs in Coq

Language:CoqLicense:NOASSERTIONStargazers:0Issues:3Issues:0

moon

Moon

Language:RustLicense:MITStargazers:0Issues:3Issues:0

om

ClojureScript interface to Facebook's React

Language:ClojureStargazers:0Issues:3Issues:0

overtone

Collaborative Programmable Music

Language:ClojureLicense:NOASSERTIONStargazers:0Issues:0Issues:0

playframework

Play Framework

Language:ScalaStargazers:0Issues:3Issues:0

PureBomberMan

A simple, pure, concurrent game

Language:ScalaStargazers:0Issues:3Issues:0

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.

Language:ShellStargazers:0Issues:3Issues:0

sbt-idea

A simple-build-tool (sbt) plugin/processor for creating IntelliJ IDEA project files

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

sbt-native-packager-examples

A set of sbt-native-pakager examples

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

sbt-release

A release plugin for sbt (>= 0.11.0)

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

sbt-scalariform

sbt plugin adding support for source code formatting using Scalariform

Language:ScalaStargazers:0Issues:3Issues:0

sbt-unidoc

sbt plugin to create a unified API document across projects

Language:ScalaStargazers:0Issues:3Issues:0
Language:ScalaStargazers:0Issues:3Issues:0

scalastyle-sbt-plugin

scalastyle-sbt-plugin

Language:ScalaStargazers:0Issues:3Issues:0

slick

Scala Language Integrated Connection Kit

Language:ScalaLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

ttlite

A SuperCompiler for Martin-Löf's Type Theory

Language:ScalaStargazers:0Issues:3Issues:0

type-systems

Implementations of various type systems in OCaml.

Language:OCamlLicense:UnlicenseStargazers:0Issues:3Issues:0

wartremover

Flexible Scala code linting tool

Language:ScalaStargazers:0Issues:3Issues:0