# antalsz/hs-to-coq

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

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

antalsz/hs-to-coq has 283 stars on GitHub. Its RepoMasters card: Alpha tier. Convert Haskell source code to Coq source code Language: Coq.

| Field | Value |
| --- | --- |
| Owner | [antalsz](https://repo.masters-masters.com/en/owners/antalsz) |
| Stars | 283 |
| Forks | 26 |
| Language | [Coq](https://repo.masters-masters.com/en/languages/coq) |
| License | MIT |
| Created | 2017 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [antalsz/hs-to-coq](https://github.com/antalsz/hs-to-coq) |

## Repository

Convert Haskell source code to Coq source code

Archived: this repository is read-only

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Coq

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.