Repositories list

• aya-dev

  Public
  A proof assistant and a dependently-typed language

  dependent-typesproof-assistantaya

  dependent-typesproof-assistantaya

  Java

  •

  MIT License

  •2323 forks in aya-prover/aya-dev•366366 stars in aya-prover/aya-dev•4747 issues in aya-prover/aya-dev•00 pull requests in aya-prover/aya-dev•Updated Sep 26, 2026Sep 26, 2026

• project-generator

  Public
  Generates a project with Aya infrastructure and Grammar-Kit parsing setup.

  Java

  •11 fork in aya-prover/project-generator•55 stars in aya-prover/project-generator•00 issues in aya-prover/project-generator•00 pull requests in aya-prover/project-generator•Updated Jun 9, 2026Jun 9, 2026

• intellij-aya

  Public
  ~ Intellij Platform plugin for Aya Prover

  language-serverintellij-pluginaya

  language-serverintellij-pluginaya

  Java

  •

  Apache License 2.0

  •00 forks in aya-prover/intellij-aya•99 stars in aya-prover/intellij-aya•88 issues in aya-prover/intellij-aya•11 pull request in aya-prover/intellij-aya•Updated Feb 13, 2026Feb 13, 2026

• aya-prover.github.io

  Public
  https://www.aya-prover.org

  HTML

  •00 forks in aya-prover/aya-prover.github.io•22 stars in aya-prover/aya-prover.github.io•00 issues in aya-prover/aya-prover.github.io•00 pull requests in aya-prover/aya-prover.github.io•Updated Dec 31, 2025Dec 31, 2025

• aya-prover-docs

  Public
  The documentation site of the Aya prover.

  TypeScript

  •66 forks in aya-prover/aya-prover-docs•11 star in aya-prover/aya-prover-docs•22 issues in aya-prover/aya-prover-docs•00 pull requests in aya-prover/aya-prover-docs•Updated Dec 31, 2025Dec 31, 2025

• kala-inspections

  Public
  Kala inspections

  Kotlin

  •

  MIT License

  •22 forks in aya-prover/kala-inspections•66 stars in aya-prover/kala-inspections•11 issue in aya-prover/kala-inspections•00 pull requests in aya-prover/kala-inspections•Updated Nov 20, 2025Nov 20, 2025

• PLCT-Weekly

  Public
  软件所PLCT实验室在开源领域的不定期简报

  HTML

  •

  Creative Commons Attribution Share Alike 4.0 International

  •116116 forks in aya-prover/PLCT-Weekly•00 stars in aya-prover/PLCT-Weekly•00 issues in aya-prover/PLCT-Weekly•00 pull requests in aya-prover/PLCT-Weekly•Updated Sep 30, 2025Sep 30, 2025

• aya-vscode

  Public
  ~ VSCode extension for Aya Prover

  language-servervscode-extensionaya

  language-servervscode-extensionaya

  TypeScript

  •

  GNU General Public License v3.0

  •22 forks in aya-prover/aya-vscode•77 stars in aya-prover/aya-vscode•33 issues in aya-prover/aya-vscode•00 pull requests in aya-prover/aya-vscode•Updated May 31, 2024May 31, 2024

• aya-tmbundle

  Public
  For GitHub linguist's syntax highlighting

  Python

  •

  MIT License

  •00 forks in aya-prover/aya-tmbundle•11 star in aya-prover/aya-tmbundle•00 issues in aya-prover/aya-tmbundle•00 pull requests in aya-prover/aya-tmbundle•Updated May 31, 2024May 31, 2024

• locally-nameless-aya-draft

  Public archive
  Tmp

  Java

  •

  MIT License

  •00 forks in aya-prover/locally-nameless-aya-draft•33 stars in aya-prover/locally-nameless-aya-draft•00 issues in aya-prover/locally-nameless-aya-draft•00 pull requests in aya-prover/locally-nameless-aya-draft•Updated May 27, 2024May 27, 2024

• aya-prover-proto2

  Public archive
  Second version

  Java

  •

  MIT License

  •00 forks in aya-prover/aya-prover-proto2•22 stars in aya-prover/aya-prover-proto2•00 issues in aya-prover/aya-prover-proto2•00 pull requests in aya-prover/aya-prover-proto2•Updated Jan 4, 2024Jan 4, 2024

• lamett

  Public
  😶‍🌫️tt/a less cool version of cooltt

  Java

  •

  GNU General Public License v3.0

  •00 forks in aya-prover/lamett•55 stars in aya-prover/lamett•11 issue in aya-prover/lamett•11 pull request in aya-prover/lamett•Updated Aug 16, 2023Aug 16, 2023

• setup-aya

  Public
  Set up Aya in your GitHub Actions workflow.

  TypeScript

  •

  MIT License

  •00 forks in aya-prover/setup-aya•00 stars in aya-prover/setup-aya•00 issues in aya-prover/setup-aya•00 pull requests in aya-prover/setup-aya•Updated May 7, 2023May 7, 2023

• commonmark-java

  Public archive
  Java library for parsing and rendering CommonMark (Markdown)

  Java

  •

  BSD 2-Clause "Simplified" License

  •338338 forks in aya-prover/commonmark-java•00 stars in aya-prover/commonmark-java•00 issues in aya-prover/commonmark-java•00 pull requests in aya-prover/commonmark-java•Updated Dec 9, 2022Dec 9, 2022

• aya-prover-proto

  Public archive
  ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

  Java

  •

  GNU General Public License v3.0

  •00 forks in aya-prover/aya-prover-proto•1111 stars in aya-prover/aya-prover-proto•22 issues in aya-prover/aya-prover-proto•11 pull request in aya-prover/aya-prover-proto•Updated Sep 28, 2021Sep 28, 2021