Artifact Latest version Version Count Packaging Update time
org.aya-prover.upstream:javacs-protocol
0.0.22 19 jar Apr 23, 2024
org.aya-prover.upstream:ij-util-text
0.0.22 10 jar Apr 23, 2024
org.aya-prover.upstream:ij-parsing-wrapper
0.0.22 6 jar Apr 23, 2024
org.aya-prover.upstream:ij-parsing-core
0.0.22 19 jar Apr 23, 2024
org.aya-prover.upstream:build-util-jflex
0.0.22 8 jar Apr 23, 2024
org.aya-prover.upstream:build-util
0.0.22 22 jar Apr 23, 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-framework
0.0.2 2 pom Jun 09, 2021
io.whileaway.code.summer:summer-modular
0.0.2 2 jar Jun 09, 2021
io.earcam.maven.plugin:io.earcam.maven.plugin.jigsaw
0.0.4 2 maven-plugin Nov 26, 2018
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.clickhouse:third-party-libraries
1.9.2 14 pom Aug 03, 2023
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-ri-parent
62 273 pom Nov 25, 2019
com.guicedee.services:cache-annotations-ri
62 273 pom 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:jwebmp-jcache-parent
62 273 pom 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
org.apache.commons:commons-rng-examples-jpms
1.3 3 pom Nov 05, 2019
com.jwebmp.thirdparty.jcache:cache-api
0.68.0.1 4 jar Aug 09, 2019
91 Records