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