# LeventErkok/sbv

<https://repo.masters-masters.com/repos/LeventErkok/sbv>

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

LeventErkok/sbv, dépôt open source à 269 étoiles sur GitHub. Carte Alpha de RepoMasters. SMT Based Verification in Haskell. Express properties about Haskell…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [LeventErkok](https://repo.masters-masters.com/owners/LeventErkok) |
| Étoiles | 269 |
| Forks | 51 |
| Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) |
| Licence | Aucune |
| Création | 2011 |
| Sujets | haskell, smt, verification |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [LeventErkok/sbv](https://github.com/LeventErkok/sbv) |

## Fiche du dépôt

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

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 Haskell

- [denisshevchenko/ohaskell.guide · ★ 270 · Haskell · Alpha](https://repo.masters-masters.com/repos/denisshevchenko/ohaskell.guide)
- [bravit/hid-examples · ★ 270 · Haskell · Alpha](https://repo.masters-masters.com/repos/bravit/hid-examples)
- [standardsemiconductor/lion · ★ 270 · Haskell · Alpha](https://repo.masters-masters.com/repos/standardsemiconductor/lion)
- [neovimhaskell/nvim-hs · ★ 268 · Haskell · Alpha](https://repo.masters-masters.com/repos/neovimhaskell/nvim-hs)
- [snoyberg/keter · ★ 263 · Haskell · Alpha](https://repo.masters-masters.com/repos/snoyberg/keter)
- [co-log/co-log · ★ 263 · Haskell · Alpha](https://repo.masters-masters.com/repos/co-log/co-log)

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