Declarative, type-safe web endpoints library
Declarative concurrency in Scala - The implementation of the chemical machine
Specification of the Cypher property graph query language