# LeventErkok/sbv

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

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

LeventErkok/sbv has 269 stars on GitHub. Its RepoMasters card: Alpha tier. SMT Based Verification in Haskell. Express properties about Haskell programs and…

| Field | Value |
| --- | --- |
| Owner | [LeventErkok](https://repo.masters-masters.com/en/owners/LeventErkok) |
| Stars | 269 |
| Forks | 51 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | None |
| Created | 2011 |
| Topics | haskell, smt, verification |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [LeventErkok/sbv](https://github.com/LeventErkok/sbv) |

## Repository

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

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

## Nearby in Haskell

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

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