# advancedresearch/poi

<https://repo.masters-masters.com/repos/advancedresearch/poi>

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

advancedresearch/poi, dépôt open source à 143 étoiles sur GitHub. Carte Prototype de RepoMasters. a pragmatic point-free theorem prover assistant

| Champ | Valeur |
| --- | --- |
| Propriétaire | [advancedresearch](https://repo.masters-masters.com/owners/advancedresearch) |
| Étoiles | 143 |
| Forks | 7 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Apache-2.0 |
| Création | 2020 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [advancedresearch/poi](https://github.com/advancedresearch/poi) |

## Fiche du dépôt

a pragmatic point-free theorem prover assistant

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de advancedresearch

- [advancedresearch/path\_semantics · ★ 185 · Rust · Prototype](https://repo.masters-masters.com/repos/advancedresearch/path_semantics)

## D’autres dépôts Rust

- [Win-Hao/ModelLink · ★ 143 · Rust · Prototype](https://repo.masters-masters.com/repos/Win-Hao/ModelLink)
- [anglee0323/agy-switch · ★ 143 · Rust · Prototype](https://repo.masters-masters.com/repos/anglee0323/agy-switch)
- [LambdaBytes/sping · ★ 143 · Rust · Prototype](https://repo.masters-masters.com/repos/LambdaBytes/sping)
- [PistonDevelopers/hematite\_server · ★ 143 · Rust · Prototype](https://repo.masters-masters.com/repos/PistonDevelopers/hematite_server)
- [polydraw/polydraw · ★ 143 · Rust · Prototype](https://repo.masters-masters.com/repos/polydraw/polydraw)
- [flier/rust-fasthash · ★ 143 · Rust · Prototype](https://repo.masters-masters.com/repos/flier/rust-fasthash)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.