Apache Spark - A unified analytics engine for large-scale data processing

The Community Maintained High Velocity Web Framework For Java and Scala.

Apache OpenWhisk is an open source serverless cloud platform

Scala.js, the Scala to JavaScript compiler

Your favorite language gets closer to bare metal.

A JVM written in Scala

XiaoMi Natural Language Processing Toolkits

Exercises for the course 'Functional Design by John A. De Goes

The Scala Package Index

Pleasant, yet principled Scala optics DSL

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

The MMT Language and System