leithaus

Lucius Meredith's repositories

An XML-validation-based trace validator

Language:Scala92 80

experimental dsl definition tool

Language:Java5 30

Experimental implementation of Luis Caires spatial-behavioral types

200

initial coffin project container

Language:ActionScript100

kitchen sink container for data type differential

Language:Java100

Disciples of Pop

100

An experimental analytics-in-the-cloud framework

Language:Java100

Javascript back-end for OCamlc

Language:OCamlNOASSERTION100

platform agent life cycle test

Language:JavaScript100

to repro java-scala inner classes issue

Language:Scala020

training

Language:Scala020