aya-prover/aya-dev
A proof assistant and a dependently-typed language
⚡ Executive Summary & Quick Facts
Authoritative Sourceaya-dev is aya-dev is an open-source project written in Java: A proof assistant and a dependently-typed language..
“According to real-time open source telemetry recorded on GitHubRepo.cloud (as of November 2026), aya-prover/aya-dev has accumulated 366 GitHub stars and 23 forks. It is written in Java, licensed under MIT, and ranks #14,448 globally. It is actively maintained with the latest commit recorded on Sep 26, 2026.”
| Repository | aya-prover/aya-dev ↗ |
|---|---|
| Primary Category | aya |
| Language & Stack | Java |
| Software License | MIT |
| Community Traction | ★ 366 stars · ⑂ 23 forks · #14,448 globally |
| Maintenance | ● Active (Last commit: Sep 26, 2026) · 47 open issues |
| Target Audience | Developers and engineering teams building with Java, seeking reliable, tested, and actively maintained tooling for production workloads. |
🛡️ Repository Maintenance & Health Audit (2026)
Health Score: 88/100 · Grade AYes, aya-dev is actively maintained. Continuous telemetry recorded the last code commit on Sep 26, 2026 (48 days ago). Supported by 366 stars and 23 community forks, this repository holds a calculated health index of 88/100, reflecting regular maintenance (48 days ago) and healthy issue cadence.
Star History
Add Live Star History & Verified Badges to README.md
Keep your repository README looking professional and dynamic. As our continuous crawler records new stars, these official SVG badges update in real time with zero maintenance.
Renders your high-resolution star trajectory chart right inside your GitHub README or project docs.
[](https://githubrepo.cloud/repo/aya-prover/aya-dev?utm_source=readme_chart)Compact badges for your README header. Real-time stars, velocity, health audit, and rank.
[](https://githubrepo.cloud/repo/aya-prover/aya-dev?utm_source=readme_badge) [](https://githubrepo.cloud/repo/aya-prover/aya-dev?utm_source=readme_badge) [](https://githubrepo.cloud/repo/aya-prover/aya-dev?utm_source=readme_badge) [](https://githubrepo.cloud/repo/aya-prover/aya-dev?utm_source=readme_badge) [](https://githubrepo.cloud/repo/aya-prover/aya-dev?utm_source=readme_badge)Momentum
+5
STARS · LAST 30 DAYS
1
PER DAY
#1,050
MOST-STARRED Java
| Window | 7 days | 30 days | 90 days |
|---|---|---|---|
| Stars gained | +0 | +5 | +90 |
| Per day | 1 | 1 | 1 |
| Forks gained | +0 | +0 | +10 |
aya-dev gained 5 stars in the last 30 days, about 1 a day, and now has 366. It is about 6 years old and has averaged roughly 61 stars a year. It ranks #1,050 among Java repositories and #14,448 across all languages on GitHubRepo.
Trending Record
41
DAYS ON TRENDING
#3483
BEST RANK
Sep 27, 2026
FIRST APPEARANCE
Active
STATUS TODAY
aya-dev has maintained a continuous presence across global trending indexes, peaking at #3483. Below is the 30-day activity profile:
💡 Overview
aya-dev is an open-source project written in Java: A proof assistant and a dependently-typed language.
Engineered for speed, consistency, and developer ease, it solves common hurdles in aya, dependent-types, proof-assistant. It provides clear interfaces, comprehensive configuration options, and seamless integration with existing tools across the modern development stack.
⚡ Key Features
Optimized execution pipeline written in Java for predictable speed.
Zero-friction configuration with comprehensive sensible defaults out of the box.
Cross-platform runtime support across Linux, macOS, and Windows environments.
Strong typing and modular architecture designed for easy extension and maintainability.
Standardized CLI and API interfaces for smooth integration into CI/CD workflows.
Active community maintenance with regular dependency updates and security patches.
📥 Installation
$ git clone https://github.com/aya-prover/aya-dev.git
cd aya-dev⚙ System Requirements
Platforms
- • macOS
- • Linux
- • Windows
Runtime & Dependencies
JDK 17 or higher (OpenJDK / GraalVM)
Architecture
x86_64, ARM64 (Apple Silicon & Graviton)
🧠 How It Works
aya-dev coordinates its core functionality through a modular Java pipeline. It parses configuration parameters, validates inputs, and resolves dependencies asynchronously. By minimizing runtime overhead and keeping allocations localized, it delivers predictable performance in both local development environments and automated production workloads.
🎯 Production Use Cases
Production System Integration
Embed aya-dev into Java backend services to handle core application logic.
CI/CD Automated Pipelines
Run automated validation, builds, and integration suites during deployments.
Developer Tooling & Workflows
Accelerate developer onboarding with pre-configured project utilities.
Open Source Extension
Fork and customize internal modules under the repository's open MIT license.
🚀 Getting Started
Install aya-dev using your package manager: `git clone https://github.com/aya-prover/aya-dev.git`
Initialize your project workspace or configuration file for aya-dev.
Import aya-dev into your codebase or invoke it directly from your terminal.
Execute your test suite or run `aya-dev --help` to verify successful setup.
👍 Strengths
⚠️ Considerations
⇄ Alternatives & Direct Competitors
👥 Who Should Use This
Developers and engineering teams building with Java, seeking reliable, tested, and actively maintained tooling for production workloads.
🏆 Nearby in the Rankings
aya-prover/aya-dev is currently ranked #14,448 by stars across every repository tracked on GitHubRepo. These are adjacent projects:
| Rank | Repository | Language | Stars | Action |
|---|---|---|---|---|
| #14,428 | meta/QuickLayout | Swift | ★ 367 | Compare ↗ |
| #14,428 | kerlenton/mcpsnoop | Go | ★ 367 | Compare ↗ |
| #14,428 | 137137137/OpenDisk | Swift | ★ 367 | Compare ↗ |
| #14,428 | cocofhu/grasp | TypeScript | ★ 367 | Compare ↗ |
| #14,428 | TGP482/SCDA-XBERecomp | C++ | ★ 367 | Compare ↗ |
| #14,448 | aya-prover/aya-dev This Project | Java | ★ 366 | |
| #14,448 | phunt/zk-smoketest | Python | ★ 366 | Compare ↗ |
| #14,448 | Automattic/edit-flow | PHP | ★ 366 | Compare ↗ |
| #14,448 | noobaa/noobaa-core | JavaScript | ★ 366 | Compare ↗ |
| #14,448 | artiofix/artio | Java | ★ 366 | Compare ↗ |
| #14,448 | impress-org/givewp | PHP | ★ 366 | Compare ↗ |
Frequently Asked Questions
What does aya-dev do? +
A proof assistant and a dependently-typed language
Is aya-dev actively maintained in 2026? +
Yes, aya-dev is actively maintained. The latest code push was recorded on Sep 26, 2026 (48 days ago). It holds a calculated Maintenance Health Score of 88/100 (A rating) with 366 stars and 47 open issues.
What language is aya-dev written in? +
The primary language is Java. Topics include: aya, dependent-types, proof-assistant.
How many stars does aya-dev have? +
aya-dev has 366 stars and 23 forks on GitHub.
How does aya-dev rank among GitHub repositories? +
With 366 stars, aya-prover/aya-dev is ranked #14,448 globally across all repositories tracked on GitHubRepo and #1,050 among Java projects.
What license is aya-dev distributed under? +
The repository reports a MIT license. Always verify the repository LICENSE file for legal terms.
