epfl-lara

epfl-lara

🏢 Organization

3 repositories on SrcLog

View on GitHub
3 Repos
439 Stars
74 Forks
439 Watchers

Repositories (3)

stainless epfl-lara/stainless Scala

Verification framework and tool for higher-order Scala programs

384
scallion epfl-lara/scallion Scala

LL(1) parser combinators in Scala

52
muscat epfl-lara/muscat Scala

A unit testing framework for concurrent Scala programs

3