First-Class Refinement Types for Scala
Type-check Scala code against the prototype without installing anything. The program is sent to a compiler service running the implementation.
Submitted programs are stored, together with the compiler's answer. That way an identical program needs no recompiling, and we get to see what people try. By submitting a program you agree to it being kept and used by the authors.