lexicalscope

jewelcli

JewelCli uses an annotated interface definition to automatically parse and present command line arguments

fluent-reflection

fluent reflection library for java

eventcast

event publish-subscribe library integrated with google guice

ape

An automatic program equivalence tool

typetoken

standalone inplementation of the super type token pattern

contest

concurrency testing library for junit

fluent-collections

fluent collection library providing uniform access to some of the collections features of guava, hamcrest, lamdbaj and commons collections

java-bean-helpers-generator

dafnyserverui

Alternative Editor Integration for Dafny that takes advantage of the Dafny Cache

getting-started-github-apps

paper-rie

svm

jekyll-pdf

Create PDFs from Jekyll pages & documents.

junit-autocloseable

A Junit 4 rule which closes all AutoCloseable fields of the test fixture

matchers-additional

some extra matchers, particularly @SafeVarargs

modweb

simplified webserver for programming languages research

robotcontrol

websockets based controller for monkmakes pi-rover v3

storyboard

case study for partition testing

supplant

supplant

symb2