JarCasting
JarCasting JarCasting

Project Group: org.aya-prover

cube-compiler

 org.aya-prover : cube-compiler

Guest0x0 programming language

Last Version: 0.13.2

Release Date:

cube-visualizer

 org.aya-prover : cube-visualizer

Guest0x0 programming language

Last Version: 0.13.2

Release Date:

commonmark

 org.aya-prover : commonmark

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date:

commonmark-ext-autolink

 org.aya-prover : commonmark-ext-autolink

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date:

commonmark-ext-gfm-strikethrough

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

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date:

commonmark-ext-gfm-tables

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

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date:

commonmark-ext-heading-anchor

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

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date:

commonmark-ext-image-attributes

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

Commonmark-java with JPMS support

Last Version: 0.19.1

Release Date:

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:

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:

guest0x0-base

 org.aya-prover : guest0x0-base

Guest0x0 programming language

Last Version: 0.13

Release Date:

guest0x0-cubical

 org.aya-prover : guest0x0-cubical

Guest0x0 programming language

Last Version: 0.13

Release Date:

guest0x0-cli

 org.aya-prover : guest0x0-cli

Guest0x0 programming language

Last Version: 0.13

Release Date:

pretty

 org.aya-prover : pretty

The Aya proof assistant

Last Version: 0.18

Release Date:

tools

 org.aya-prover : tools

The Aya proof assistant

Last Version: 0.18

Release Date:

tools-repl

 org.aya-prover : tools-repl

The Aya proof assistant

Last Version: 0.18

Release Date:

base

 org.aya-prover : base

The Aya proof assistant

Last Version: 0.18

Release Date:

cli

 org.aya-prover : cli

The Aya proof assistant

Last Version: 0.18

Release Date:

parser

 org.aya-prover : parser

The Aya proof assistant

Last Version: 0.18

Release Date:

lsp

 org.aya-prover : lsp

The Aya proof assistant

Last Version: 0.18

Release Date:

api

 org.aya-prover : api

The Aya proof assistant

Last Version: 0.15

Release Date:

  • 1