# geohot/twitchcoq

<https://repo.masters-masters.com/repos/geohot/twitchcoq>

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

geohot/twitchcoq, dépôt open source à 111 étoiles sur GitHub. Carte Prototype de RepoMasters. It's a poorly named metamath verifier Langage : Prolog.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [geohot](https://repo.masters-masters.com/owners/geohot) |
| Étoiles | 111 |
| Forks | 19 |
| Langage | [Prolog](https://repo.masters-masters.com/languages/prolog) |
| Licence | Aucune |
| Création | 2019 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [geohot/twitchcoq](https://github.com/geohot/twitchcoq) |

## Fiche du dépôt

It's a poorly named metamath verifier

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 geohot

- [geohot/fromthetransistor · ★ 6 816 · Stable](https://repo.masters-masters.com/repos/geohot/fromthetransistor)
- [geohot/qira · ★ 4 069 · C · RC](https://repo.masters-masters.com/repos/geohot/qira)
- [geohot/minikeyvalue · ★ 3 159 · Go · RC](https://repo.masters-masters.com/repos/geohot/minikeyvalue)
- [geohot/corona · ★ 2 508 · Python · RC](https://repo.masters-masters.com/repos/geohot/corona)
- [geohot/ai-notebooks · ★ 1 430 · Jupyter Notebook · Bêta](https://repo.masters-masters.com/repos/geohot/ai-notebooks)
- [geohot/twitchslam · ★ 1 003 · Python · Bêta](https://repo.masters-masters.com/repos/geohot/twitchslam)

## D’autres dépôts Prolog

- [Anniepoo/swiplwebtut · ★ 117 · Prolog · Prototype](https://repo.masters-masters.com/repos/Anniepoo/swiplwebtut)
- [vangelisv/thea · ★ 114 · Prolog · Prototype](https://repo.masters-masters.com/repos/vangelisv/thea)
- [evoldoers/biomake · ★ 113 · Prolog · Prototype](https://repo.masters-masters.com/repos/evoldoers/biomake)
- [carloop/hardware · ★ 110 · Prolog · Prototype](https://repo.masters-masters.com/repos/carloop/hardware)
- [aartikis/RTEC · ★ 109 · Prolog · Prototype](https://repo.masters-masters.com/repos/aartikis/RTEC)
- [sciguy14/Eagle-Tutorial-Series · ★ 108 · Prolog · Prototype](https://repo.masters-masters.com/repos/sciguy14/Eagle-Tutorial-Series)

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