# akissinger/chyp

<https://repo.masters-masters.com/repos/akissinger/chyp>

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

akissinger/chyp, dépôt open source à 130 étoiles sur GitHub. Carte Prototype de RepoMasters. An interactive theorem prover for string diagrams Langage : Python.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [akissinger](https://repo.masters-masters.com/owners/akissinger) |
| Étoiles | 130 |
| Forks | 5 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | Apache-2.0 |
| Création | 2022 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [akissinger/chyp](https://github.com/akissinger/chyp) |

## Fiche du dépôt

An interactive theorem prover for string diagrams

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 akissinger

- [akissinger/dodo · ★ 134 · Python · Prototype](https://repo.masters-masters.com/repos/akissinger/dodo)

## D’autres dépôts Python

- [salikhussain71-code/PAKGOV-RAG-project · ★ 130 · Python · Prototype](https://repo.masters-masters.com/repos/salikhussain71-code/PAKGOV-RAG-project)
- [ABC12345anouys/EvoBot · ★ 130 · Python · Prototype](https://repo.masters-masters.com/repos/ABC12345anouys/EvoBot)
- [dominik-schnaus/unpaired-rosetta · ★ 130 · Python · Prototype](https://repo.masters-masters.com/repos/dominik-schnaus/unpaired-rosetta)
- [textmate/markdown.tmbundle · ★ 130 · Python · Prototype](https://repo.masters-masters.com/repos/textmate/markdown.tmbundle)
- [bububa/MongoHub · ★ 130 · Python · Prototype](https://repo.masters-masters.com/repos/bububa/MongoHub)
- [ioerror/blockfinder · ★ 130 · Python · Prototype](https://repo.masters-masters.com/repos/ioerror/blockfinder)

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