Scala.js, the Scala to JavaScript compiler
Specification of the Cypher property graph query language
The VeriFx automated verification language
Universal Data design and transform language core
ISO 639 languages using Enumeratum and translations
The Comment Parser supports various languages based on FSM. It's written by scala and java.
Contract-oriented expression-based scripting language
Transactional language implementation for EncryCore Protocol
Language for abstract type schemas description