Indexed Artifacts (28.7M)

Popular Categories

Artifacts using scala-parser-combinators version 1.0.5

Compiler for the Scala Programming Language
Last Release on Jan 10, 2022
Automated theorem proving through learning in HoTT
Last Release on Sep 19, 2020
Scala Package for Apache MXNet (Incubating) - flexible and efficient library for deep learning.
Last Release on Sep 13, 2019
akka-crontab
Last Release on Apr 30, 2021
Scala Package for Apache MXNet (Incubating) - flexible and efficient library for deep learning.
Last Release on Sep 13, 2019
Scala Package for Apache MXNet (Incubating) - flexible and efficient library for deep learning.
Last Release on Sep 13, 2019
parser-js
Last Release on Apr 20, 2021
sbt-pgp provides PGP signing for sbt
Last Release on Jan 30, 2022
A CLI for the Twirl templates compiler
Last Release on Aug 19, 2019
Automated theorem proving through learning in HoTT
Last Release on Sep 19, 2020