A Scala library which talks to Isabelle (DISCONTINUED)

sbt helper for libisabelle (DISCONTINUED)

Java tool & sbt plugin for launching JSR 223 scripts (DISCONTINUED)

An sbt plugin that fills apiMappings for common Scala libraries (DISCONTINUED)

Simple helper to implement custom slf4j loggers (DISCONTINUED)

2.12 fork of https://github.com/Verizon/remotely (DISCONTINUED)

2.12 fork of https://github.com/Log4s/log4s/ (DISCONTINUED)