Group: Aya Prover Upstream

Sort by:Popular▼

✓Popular✓Newest

1.IJ Parsing Core8 usages

org.aya-prover.upstream » ij-parsing-core Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

2.IJ Parsing Wrapper2 usages

org.aya-prover.upstream » ij-parsing-wrapper Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

3.IJ Utilities Text2 usages

org.aya-prover.upstream » ij-util-text Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

4.Javacs Protocol2 usages

org.aya-prover.upstream » javacs-protocol Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

5.JB MD1 usages

org.aya-prover.upstream » jb-md Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

6.JB MD IJ1 usages

org.aya-prover.upstream » jb-md-ij Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

7.Lang Syntax1 usages

org.aya-prover.upstream » lang-syntax Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

8.Build Utilities

org.aya-prover.upstream » build-util Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

9.Build Utilities JFlex

org.aya-prover.upstream » build-util-jflex Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

10.IJ Gk Parser

org.aya-prover.upstream » ij-gk-parser Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

11.IJ Layout Lexer

org.aya-prover.upstream » ij-layout-lexer Apache

Upstream dependencies with JPMS support

Last Release on Jul 28, 2025

12.Demo

org.aya-prover.upstream » demo Apache

Upstream dependencies with JPMS support

Last Release on Jun 7, 2023