epfl-lara

epfl-lara

🏢 Organization

3 repositories on SrcLog

View on GitHub
3 Repos
456 Stars
75 Forks
74 Watchers

Repositories (3)

stainless epfl-lara/stainless Scala

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

401
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