BêtaRare
JetBrains/Arend
The Arend Proof Assistant
- Propriétaire
- JetBrains (organisation)
- Étoiles
- Étoiles : 760
- Forks
- Forks : 32
- Langage
- Java
- Licence
- Apache-2.0
- Création
- 2015
- Sujets
- arend
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de JetBrains
Les 136 dépôts de JetBrains- JetBrains/kotlinÉtoiles : 53 535KotlinLTS
- JetBrains/intellij-communityÉtoiles : 20 692JavaLTS
- JetBrains/compose-multiplatformÉtoiles : 19 463KotlinStable
- JetBrains/JetBrainsMonoÉtoiles : 13 141ShellStable
- JetBrains/ideavimÉtoiles : 10 282KotlinStable
- JetBrains/ExposedÉtoiles : 9 303KotlinStable
D’autres dépôts Java
Tous les dépôts Java- crazysunj/MultiTypeRecyclerViewAdapterÉtoiles : 760JavaBêta
- bttv-android/bttvÉtoiles : 760JavaBêta
- isevenluo/github-hostsÉtoiles : 760JavaBêta
- shevek/jarjarÉtoiles : 760JavaBêta
- vaadin/flowÉtoiles : 760JavaBêta
- pascaldekloe/colferÉtoiles : 760JavaBêta