Popular repositories

1. scala-game-library

   Scala library for cross-platform 2D game development

   Scala 103 7

2. cafesat

   The CafeSat SMT solver for Scala

   Scala 39 4

3. scala-smtlib

   Scala library for parsing and printing the SMT-LIB format

   Scala 38 15

4. scabolic

   Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.

   Scala 33 4

5. scalanative-graphics-bindings

   OpenGL and SDL2 bindings for Scala Native

   Scala 29 3

6. scalavator

   The unofficial Scala game

   Scala 10