Project Group: org.aya-prover

cube-compiler

org.aya-prover : cube-compiler

Guest0x0 programming language

Last Version: 0.13.2

Release Date: Jun 20, 2022

cube-visualizer

org.aya-prover : cube-visualizer

Guest0x0 programming language

Last Version: 0.13.2

Release Date: Jun 20, 2022

commonmark

org.aya-prover : commonmark

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date: Jun 14, 2022

commonmark-ext-autolink

org.aya-prover : commonmark-ext-autolink

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date: Jun 14, 2022

commonmark-ext-gfm-strikethrough

org.aya-prover : commonmark-ext-gfm-strikethrough

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date: Jun 14, 2022

commonmark-ext-gfm-tables

org.aya-prover : commonmark-ext-gfm-tables

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date: Jun 14, 2022

commonmark-ext-heading-anchor

org.aya-prover : commonmark-ext-heading-anchor

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date: Jun 14, 2022

commonmark-ext-image-attributes

org.aya-prover : commonmark-ext-image-attributes

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date: Jun 14, 2022

commonmark-ext-task-list-items

org.aya-prover : commonmark-ext-task-list-items

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date: Jun 14, 2022

commonmark-ext-yaml-front-matter

org.aya-prover : commonmark-ext-yaml-front-matter

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date: Jun 14, 2022

guest0x0-base

org.aya-prover : guest0x0-base

Guest0x0 programming language

Last Version: 0.13

Release Date: May 27, 2022

guest0x0-cubical

org.aya-prover : guest0x0-cubical

Guest0x0 programming language

Last Version: 0.13

Release Date: May 27, 2022

guest0x0-cli

org.aya-prover : guest0x0-cli

Guest0x0 programming language

Last Version: 0.13

Release Date: May 27, 2022

pretty

org.aya-prover : pretty

The Aya proof assistant

Last Version: 0.18

Release Date: May 11, 2022

tools

org.aya-prover : tools

The Aya proof assistant

Last Version: 0.18

Release Date: May 11, 2022

tools-repl

org.aya-prover : tools-repl

The Aya proof assistant

Last Version: 0.18

Release Date: May 11, 2022

base

org.aya-prover : base

The Aya proof assistant

Last Version: 0.18

Release Date: May 11, 2022

cli

org.aya-prover : cli

The Aya proof assistant

Last Version: 0.18

Release Date: May 11, 2022

parser

org.aya-prover : parser

The Aya proof assistant

Last Version: 0.18

Release Date: May 11, 2022

lsp

org.aya-prover : lsp

The Aya proof assistant

Last Version: 0.18

Release Date: May 11, 2022

api

org.aya-prover : api

The Aya proof assistant

Last Version: 0.15

Release Date: Jan 11, 2022