A Scala library which talks to Isabelle (DISCONTINUED)

sbt helper for libisabelle (DISCONTINUED)

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

Simple helper to implement custom slf4j loggers (DISCONTINUED)

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

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

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