6 results

Sorting

Contributing Search

Filters

Target
Scala
Topics
  1. project logo

    zalando/grafter

    Grafter is a library to configure and wire Scala applications

    Scala (JVM): 2.11 2.12
  2. project logo

    gapt/gapt

    GAPT: General Architecture for Proof Theory

    Scala (JVM): 2.11 2.12
  3. project logo

    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
  4. project logo

    inkytonik/kiama

    The official GitHub mirror of https://bitbucket.org/inkytonik/kiama. Please submit issues and pull requests on the main repository.

    Scala (JVM): 2.10 2.11 2.12 2.13
  5. project logo

    encryfoundation/encryscript

    Transactional language implementation for EncryCore Protocol

    Scala (JVM): 2.12
  6. project logo

    encryfoundation/prismlang

    Contract-oriented expression-based scripting language

    Scala (JVM): 2.12