Artifact Latest version Version Count Packaging Update time
org.aya-prover.upstream:javacs-protocol
0.0.23 20 jar May 15, 2024
org.aya-prover.upstream:build-util-jflex
0.0.23 9 jar May 15, 2024
org.aya-prover.upstream:build-util
0.0.23 23 jar May 15, 2024
org.aya-prover.upstream:ij-util-text
0.0.23 11 jar May 15, 2024
org.aya-prover.upstream:ij-parsing-core
0.0.23 20 jar May 15, 2024
org.aya-prover.upstream:ij-parsing-wrapper
0.0.23 7 jar May 15, 2024
com.clickhouse:org.roaringbitmap
1.9.2 14 jar Aug 03, 2023
org.aya-prover.upstream:demo
0.0.17 7 jar Jun 07, 2023
org.aya-prover:commonmark-ext-yaml-front-matter
0.21.1 3 jar Dec 09, 2022
org.aya-prover:commonmark-ext-task-list-items
0.21.1 4 jar Dec 09, 2022
org.aya-prover:commonmark-ext-image-attributes
0.21.1 4 jar Dec 09, 2022
org.aya-prover:commonmark-ext-heading-anchor
0.21.1 4 jar Dec 09, 2022
org.aya-prover:commonmark-ext-gfm-tables
0.21.1 4 jar Dec 09, 2022
org.aya-prover:commonmark-ext-gfm-strikethrough
0.21.1 4 jar Dec 09, 2022
org.aya-prover:commonmark-ext-autolink
0.21.1 3 jar Dec 09, 2022
org.aya-prover:commonmark
0.21.1 3 jar Dec 09, 2022
io.whileaway.code.summer:summer-util
0.0.2 2 jar Jun 09, 2021
io.whileaway.code.summer:summer-start
0.0.2 2 jar Jun 09, 2021
io.whileaway.code.summer:summer-modular
0.0.2 2 jar Jun 09, 2021
io.earcam.instrumental:io.earcam.instrumental.archive.jpms
0.1.0 1 jar Oct 09, 2018
org.marid:marid-intellij-annotations
1.0 1 jar Jan 07, 2018
com.clickhouse:io.grpc
1.9.2 14 jar Aug 03, 2023
com.justifiedsolutions:openpdf
1.1.2 4 jar Apr 23, 2020
com.lingocoder:springfox.docketyper
0.0.0 1 jar Sep 06, 2020
com.entityassist:entity-assist
62 444 jar Nov 25, 2019
com.guicedee.services:cache-api
62 446 jar Nov 25, 2019
com.guicedee.services:cache-annotations-ri-guice
62 446 jar Nov 25, 2019
com.guicedee.services:cache-annotations-ri-common
62 446 jar Nov 25, 2019
com.guicedee.servlets:guiced-websockets
62 445 jar Nov 25, 2019
com.guicedee.services:cache-ri-impl
62 273 jar Nov 25, 2019
org.apache.commons:commons-rng-examples-jpms-app
1.3 3 jar Nov 05, 2019
org.apache.commons:commons-rng-examples-jpms-lib
1.3 3 jar Nov 05, 2019
com.jwebmp.thirdparty.jcache:cache-api
0.68.0.1 4 jar Aug 09, 2019
com.jwebmp.guicedee.persistence:entity-assist
0.68.0.1 11 jar Aug 09, 2019
com.jwebmp.thirdparty.jcache:cache-annotations-ri-common
0.68.0.1 4 jar Aug 09, 2019
com.jwebmp.guicedee.servlets:guiced-websockets
0.68.0.1 11 jar Aug 09, 2019
com.jwebmp.thirdparty.jcache:cache-annotations-ri-guice
0.68.0.1 4 jar Aug 09, 2019
com.jwebmp.thirdparty.jcache:cache-ri-impl
0.68.0.1 4 jar Aug 09, 2019
io.earcam.instrumental:io.earcam.instrumental.module.jpms
0.1.0 1 jar Oct 09, 2018
com.guicedee.services:hibernate-enhance-maven-plugin
1.2.2.1-jre17 78 jar Feb 11, 2022
58 Records