# antalsz/hs-to-coq

<https://repo.masters-masters.com/repos/antalsz/hs-to-coq>

[Accueil](https://repo.masters-masters.com/) › [antalsz](https://repo.masters-masters.com/owners/antalsz) › [hs-to-coq](https://repo.masters-masters.com/repos/antalsz/hs-to-coq)

antalsz/hs-to-coq, dépôt open source à 283 étoiles sur GitHub. Carte Alpha de RepoMasters. Convert Haskell source code to Coq source code Langage : Coq.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [antalsz](https://repo.masters-masters.com/owners/antalsz) |
| Étoiles | 283 |
| Forks | 26 |
| Langage | [Coq](https://repo.masters-masters.com/languages/coq) |
| Licence | MIT |
| Création | 2017 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [antalsz/hs-to-coq](https://github.com/antalsz/hs-to-coq) |

## Fiche du dépôt

Convert Haskell source code to Coq source code

Archivé : ce dépôt n’évolue plus

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts Coq

- [rocq-community/rocq-tricks · ★ 556 · Coq · Alpha](https://repo.masters-masters.com/repos/rocq-community/rocq-tricks)
- [princeton-vl/CoqGym · ★ 422 · Coq · Alpha](https://repo.masters-masters.com/repos/princeton-vl/CoqGym)
- [lulinchen/cnn\_open · ★ 263 · Coq · Alpha](https://repo.masters-masters.com/repos/lulinchen/cnn_open)
- [mit-pdos/fscq · ★ 252 · Coq · Alpha](https://repo.masters-masters.com/repos/mit-pdos/fscq)
- [hacspec/hacspec · ★ 250 · Coq · Alpha](https://repo.masters-masters.com/repos/hacspec/hacspec)

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