A Scala library which talks to Isabelle (DISCONTINUED)

sbt helper for libisabelle (DISCONTINUED)

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

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

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

Simple helper to implement custom slf4j loggers (DISCONTINUED)

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