Pinned Repositories
ape
An automatic program equivalence tool
contest
concurrency testing library for junit
dafnyserverui
Alternative Editor Integration for Dafny that takes advantage of the Dafny Cache
eventcast
event publish-subscribe library integrated with google guice
fluent-collections
fluent collection library providing uniform access to some of the collections features of guava, hamcrest, lamdbaj and commons collections
fluent-reflection
fluent reflection library for java
getting-started-github-apps
java-bean-helpers-generator
jewelcli
JewelCli uses an annotated interface definition to automatically parse and present command line arguments
typetoken
standalone inplementation of the super type token pattern
lexicalscope's Repositories
lexicalscope/jewelcli
JewelCli uses an annotated interface definition to automatically parse and present command line arguments
lexicalscope/fluent-reflection
fluent reflection library for java
lexicalscope/eventcast
event publish-subscribe library integrated with google guice
lexicalscope/ape
An automatic program equivalence tool
lexicalscope/typetoken
standalone inplementation of the super type token pattern
lexicalscope/contest
concurrency testing library for junit
lexicalscope/fluent-collections
fluent collection library providing uniform access to some of the collections features of guava, hamcrest, lamdbaj and commons collections
lexicalscope/java-bean-helpers-generator
lexicalscope/dafnyserverui
Alternative Editor Integration for Dafny that takes advantage of the Dafny Cache
lexicalscope/getting-started-github-apps
lexicalscope/paper-rie
lexicalscope/svm
lexicalscope/jekyll-pdf
Create PDFs from Jekyll pages & documents.
lexicalscope/junit-autocloseable
A Junit 4 rule which closes all AutoCloseable fields of the test fixture
lexicalscope/matchers-additional
some extra matchers, particularly @SafeVarargs
lexicalscope/modweb
simplified webserver for programming languages research
lexicalscope/robotcontrol
websockets based controller for monkmakes pi-rover v3
lexicalscope/storyboard
case study for partition testing
lexicalscope/supplant
supplant
lexicalscope/symb2