Frege compiler/library as an OSGi bundle