# JetBrains/Arend

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

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

JetBrains/Arend, dépôt open source à 760 étoiles sur GitHub. Carte Bêta de RepoMasters. The Arend Proof Assistant Langage : Java.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [JetBrains](https://repo.masters-masters.com/owners/JetBrains) |
| Étoiles | 760 |
| Forks | 33 |
| Langage | [Java](https://repo.masters-masters.com/languages/java) |
| Licence | Apache-2.0 |
| Création | 2015 |
| Sujets | arend |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [JetBrains/Arend](https://github.com/JetBrains/Arend) |

## Fiche du dépôt

The Arend Proof Assistant

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## Autres dépôts de JetBrains

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

## D’autres dépôts Java

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

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.