Application for managing machine learning pipelines and human workflows around them.

Executes migration scripts written in plain old SQL

ML for Software Engineers

A minimal, idiomatic Scala interface for HTTP

GAPT: General Architecture for Proof Theory