# JetBrains/Arend

<https://repo.masters-masters.com/en/repos/JetBrains/Arend>

[Home](https://repo.masters-masters.com/en) › [JetBrains](https://repo.masters-masters.com/en/owners/JetBrains) › [Arend](https://repo.masters-masters.com/en/repos/JetBrains/Arend)

JetBrains/Arend has 760 stars on GitHub. Its RepoMasters card: Beta tier. The Arend Proof Assistant Language: Java.

| Field | Value |
| --- | --- |
| Owner | [JetBrains](https://repo.masters-masters.com/en/owners/JetBrains) |
| Stars | 760 |
| Forks | 33 |
| Language | [Java](https://repo.masters-masters.com/en/languages/java) |
| License | Apache-2.0 |
| Created | 2015 |
| Topics | arend |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [JetBrains/Arend](https://github.com/JetBrains/Arend) |

## Repository

The Arend Proof Assistant

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by JetBrains

- [JetBrains/kotlin · ★ 53,532 · Kotlin · LTS](https://repo.masters-masters.com/en/repos/JetBrains/kotlin)
- [JetBrains/intellij-community · ★ 20,714 · Java · LTS](https://repo.masters-masters.com/en/repos/JetBrains/intellij-community)
- [JetBrains/compose-multiplatform · ★ 19,469 · Kotlin · Stable](https://repo.masters-masters.com/en/repos/JetBrains/compose-multiplatform)
- [JetBrains/JetBrainsMono · ★ 13,149 · Shell · Stable](https://repo.masters-masters.com/en/repos/JetBrains/JetBrainsMono)
- [JetBrains/ideavim · ★ 10,286 · Kotlin · Stable](https://repo.masters-masters.com/en/repos/JetBrains/ideavim)
- [JetBrains/Exposed · ★ 9,302 · Kotlin · Stable](https://repo.masters-masters.com/en/repos/JetBrains/Exposed)

## Nearby in Java

- [bttv-android/bttv · ★ 760 · Java · Beta](https://repo.masters-masters.com/en/repos/bttv-android/bttv)
- [isevenluo/github-hosts · ★ 760 · Java · Beta](https://repo.masters-masters.com/en/repos/isevenluo/github-hosts)
- [Sinytra/Connector · ★ 760 · Java · Beta](https://repo.masters-masters.com/en/repos/Sinytra/Connector)
- [openwms/org.openwms · ★ 760 · Java · Beta](https://repo.masters-masters.com/en/repos/openwms/org.openwms)
- [pascaldekloe/colfer · ★ 760 · Java · Beta](https://repo.masters-masters.com/en/repos/pascaldekloe/colfer)
- [GantMan/jail-monkey · ★ 760 · Java · Beta](https://repo.masters-masters.com/en/repos/GantMan/jail-monkey)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.