Group: org.aya-prover - All Dependencies

icon
pretty 0.29.1

pretty · The Aya proof assistant

May 31, 2023
6 usages
236 stars
icon
commonmark 0.21.1

commonmark · Commonmark-java with JPMS support

Dec 09, 2022
6 usages
0 stars
icon
tools 0.29.1

tools · The Aya proof assistant

May 31, 2023
4 usages
236 stars
icon
parser 0.29.1

parser · The Aya proof assistant

May 31, 2023
2 usages
236 stars
icon
tools-repl 0.29.1

tools-repl · The Aya proof assistant

May 31, 2023
2 usages
236 stars
icon
base 0.29.1

base · The Aya proof assistant

May 31, 2023
1 usages
236 stars
icon
api 0.15

api · The Aya proof assistant

Jan 11, 2022
1 usages
236 stars
icon
cli 0.27

cli · The Aya proof assistant

Jan 14, 2023
1 usages
236 stars
icon
lsp 0.27

lsp · The Aya proof assistant

Jan 14, 2023
236 stars
icon

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

Dec 09, 2022
0 stars
icon

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

Dec 09, 2022
0 stars
icon

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

Dec 09, 2022
0 stars
icon

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

Dec 09, 2022
0 stars
icon

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

Dec 09, 2022
0 stars
icon

guest0x0-base · Guest0x0 programming language

May 26, 2022
40 stars
icon

guest0x0-cli · Guest0x0 programming language

May 26, 2022
40 stars
icon

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

Dec 09, 2022
0 stars
icon

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

Dec 09, 2022
0 stars
icon

guest0x0-cubical · Guest0x0 programming language

May 26, 2022
40 stars
icon
cube-compiler 0.13.2

cube-compiler · Guest0x0 programming language

Jun 20, 2022
40 stars
icon

cube-visualizer · Guest0x0 programming language

Jun 20, 2022
40 stars
icon
ide 0.29.1

ide · The Aya proof assistant

May 31, 2023
236 stars
icon
cli-console 0.29.1

cli-console · The Aya proof assistant

May 31, 2023
236 stars
icon
cli-impl 0.29.1

cli-impl · The Aya proof assistant

May 31, 2023
236 stars

Advertisement

Top Dependency Usages

Feb 13, 2021
95.1k usages
8.4k stars
Jun 02, 2023
69.4k usages
14.2k stars
Mar 17, 2023
51k usages
2.1k stars
Jul 31, 2023
27.1k usages
49k stars
Aug 09, 2023
25k usages
2.7k stars