Grafter is a library to configure and wire Scala applications
GAPT: General Architecture for Proof Theory
SCROLL - SCala ROLes Language (A DSL based on Scala for role-based programming and dispatch)
The official GitHub mirror of https://bitbucket.org/inkytonik/kiama. Please submit issues and pull requests on the main repository.
Transactional language implementation for EncryCore Protocol
Contract-oriented expression-based scripting language