Group: org.aya-prover - All Dependencies

pretty 0.28

@org.aya-prover

pretty · The Aya proof assistant

Mar 02, 2023

6 usages

80 stars

commonmark 0.21.1

@org.aya-prover

commonmark · Commonmark-java with JPMS support

Dec 09, 2022

6 usages

0 stars

tools 0.28

@org.aya-prover

tools · The Aya proof assistant

Mar 02, 2023

4 usages

80 stars

parser 0.28

@org.aya-prover

parser · The Aya proof assistant

Mar 02, 2023

2 usages

80 stars

tools-repl 0.28

@org.aya-prover

tools-repl · The Aya proof assistant

Mar 02, 2023

2 usages

80 stars

cli 0.27

@org.aya-prover

cli · The Aya proof assistant

Jan 14, 2023

1 usages

80 stars

api 0.15

@org.aya-prover

api · The Aya proof assistant

Jan 11, 2022

1 usages

80 stars

base 0.28

@org.aya-prover

base · The Aya proof assistant

Mar 02, 2023

1 usages

80 stars

commonmark-ext-yaml-front-matter 0.21.1

@org.aya-prover

commonmark-ext-yaml-front-matter · Commonmark-java with JPMS support

Dec 09, 2022

commonmark-ext-task-list-items 0.21.1

@org.aya-prover

commonmark-ext-task-list-items · Commonmark-java with JPMS support

Dec 09, 2022

0 stars

guest0x0-cubical 0.13

@org.aya-prover

guest0x0-cubical · Guest0x0 programming language

May 26, 2022

guest0x0-cli 0.13

@org.aya-prover

guest0x0-cli · Guest0x0 programming language

May 26, 2022

cube-visualizer 0.13.2

@org.aya-prover

cube-visualizer · Guest0x0 programming language

Jun 20, 2022

commonmark-ext-autolink 0.21.1

@org.aya-prover

commonmark-ext-autolink · Commonmark-java with JPMS support

Dec 09, 2022

ide 0.28

@org.aya-prover

ide · The Aya proof assistant

Mar 02, 2023

commonmark-ext-heading-anchor 0.21.1

@org.aya-prover

commonmark-ext-heading-anchor · Commonmark-java with JPMS support

Dec 09, 2022

0 stars

cli-console 0.28

@org.aya-prover

cli-console · The Aya proof assistant

Mar 02, 2023

cube-compiler 0.13.2

@org.aya-prover

cube-compiler · Guest0x0 programming language

Jun 20, 2022

commonmark-ext-image-attributes 0.21.1

@org.aya-prover

commonmark-ext-image-attributes · Commonmark-java with JPMS support

Dec 09, 2022

0 stars

commonmark-ext-gfm-tables 0.21.1

@org.aya-prover

commonmark-ext-gfm-tables · Commonmark-java with JPMS support

Dec 09, 2022

0 stars

cli-impl 0.28

@org.aya-prover

cli-impl · The Aya proof assistant

Mar 02, 2023

commonmark-ext-gfm-strikethrough 0.21.1

@org.aya-prover

commonmark-ext-gfm-strikethrough · Commonmark-java with JPMS support

Dec 09, 2022

0 stars

lsp 0.27

@org.aya-prover

lsp · The Aya proof assistant

Jan 14, 2023

80 stars

guest0x0-base 0.13

@org.aya-prover

guest0x0-base · Guest0x0 programming language

May 26, 2022

Top Dependency Usages

junit

@junit

Feb 13, 2021

95k usages

8.2k stars

scala-library

@org.scala-lang

Mar 06, 2023

69k usages

13k stars

slf4j-api

@org.slf4j

Mar 17, 2023

51k usages

1.8k stars

guava

@com.google.guava

Feb 28, 2022

27k usages

43k stars

logback-classic

@ch.qos.logback

Mar 23, 2023

25k usages

2.3k stars

More Dependencies ❯

Maven Repository

Search Maven dependencies with Maven Repository Chrome Extension

Add to Chrome