Stars
A unit testing framework for concurrent Scala programs
An online tutoring system for context-free grammars
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs
{{ message }}