Generic programming for Scala
Principled Functional Programming in Scala
A type-safe, composable library for async and concurrent programming
Alpakka is a Reactive Enterprise Integration library for Java
Refinement types for Scala
The pure asynchronous runtime for Scala
Powerful new number types and numeric abstractions for Scala
Asynchronous, Reactive Programming for Scala and Scala.js
Friendly little parsers
Runtime and development environment of Oz
Arnold Schwarzenegger based programming language
research on rules for conflict behaviour for ants