Indexed Artifacts (18.2M)

Popular Categories

Artifacts using pprint version 0.5.2

amm-util-2.11.12
Last Release on May 16, 2018
amm-util-2.12.6
Last Release on May 16, 2018
ammonite-util
Last Release on Jul 24, 2020
Scalac 2.x compiler plugin that generates SemanticDB on compile
Last Release on Oct 6, 2020
ammonite-util
Last Release on Jan 29, 2018
ammonite-util
Last Release on Apr 28, 2018
agora-rest
Last Release on Oct 5, 2017


runtime
Last Release on Dec 7, 2018
Automated theorem proving through learning in HoTT
Last Release on Sep 19, 2020
runtime
Last Release on Oct 17, 2020