6 results
-
zalando/grafter
Grafter is a library to configure and wire Scala applications
Scala (JVM): 2.11 2.12 -
gapt/gapt
GAPT: General Architecture for Proof Theory
Scala (JVM): 2.11 2.12 -
max-leuthaeuser/scroll
SCROLL - SCala ROLes Language (A DSL based on Scala for role-based programming and dispatch)
Scala (JVM): 2.11 2.12 2.13 -
encryfoundation/prismlang
Contract-oriented expression-based scripting language
Scala (JVM): 2.12