Pinned Loading

1. kiama kiama Public

   A Scala library for language processing.

   Scala 47 15

2. sbt-rats sbt-rats Public

   sbt-rats provides a plugin that enables the Rats! parser generator to be used in Scala projects.

   Scala 1 2

3. cooma cooma Public

   The Cooma project is investigating secure programming language design based on fine-grained object capabilities.

   Scala 3 2

4. skink skink Public

   Skink is an automatic verification tool. Currently it targets C programs and programs written in the LLVM intermediate representation. The current form of verification it implements is error functi…

   Scala