https://github.com/LeventErkok/sbv

haskell smt verification

Last synced: about 2 months ago

Repository metadata:

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

Host: GitHub
URL: https://github.com/LeventErkok/sbv
Owner: LeventErkok
License: other
Created: 2011-01-07T07:26:47.000Z (almost 14 years ago)
Default Branch: master
Last Pushed: 2024-10-11T16:32:08.000Z (3 months ago)
Last Synced: 2024-10-25T18:36:11.358Z (2 months ago)
Topics: haskell, smt, verification
Language: Haskell
Homepage: https://github.com/LeventErkok/sbv
Size: 15.2 MB
Stars: 242
Watchers: 9
Forks: 34
Open Issues: 4
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE

Owner metadata:

Name: Levent Erkök
Login: LeventErkok
Email:
Kind: user
Description:
Website: http://leventerkok.github.io/
Location: Portland, OR
Twitter:
Company:
Icon url: https://avatars.githubusercontent.com/u/549449?v=4
Repositories: 9
Last Synced at: 2023-04-11T01:04:11.528Z
Profile URL: https://github.com/LeventErkok
Sponsor URL:

Committers metadata

Last synced: about 2 months ago

Total Commits: 6,320
Total Committers: 49
Avg Commits per committer: 128.98
Development Distribution Score (DDS): 0.115

Commits in past year: 485
Committers in past year: 3
Avg Commits per committer in past year: 161.667
Development Distribution Score (DDS) in past year: 0.027

Name	Email	Commits
Levent Erkok	e**l@g**m	5593
Levent Erkok	l**k@i**m	320
Levent Erkok	l**k@a**m	86
Brian Schroeder	b**s@g**m	55
Brian Huffman	h**n@g**m	53
doyougnu	j**2@g**m	51
Joel Burget	j**t@g**m	39
Adam C. Foltzer	a**r@g**m	14
Sirui Lu	s**u@c**u	11
Austin Seipp	as@h****g	10
Ollie Charles	o**e@o**k	10
Robert Dockins	r**s@g**m	7
Iavor S. Diatchki	d**i@g**m	6
Levent Erkok	L**k@i**)	6
[email protected]	l**e@g**m	5
Ryan Scott	r**t@g**m	4
Jan Path	j**n@j**e	3
Markus Barenhoff	m**h@a**g	3
doyougnu	j**g@i**o	3
eax	e**x@l**t	3
octalsrc	n**2@g**m	3
Christian Conkle	c**n@c**g	2
Daniel Wagner	d**t@g**m	2
Kanishka Azimi	n**5@g**m	2
Lars Kuhtz	l**s@k**o	2
Matthew Peddie	m**e@g**m	2
Sirui Lu	s**u@u**u	2
matthew.torrence	m**e@t**m	2
Alex Dixon	a**x@g**m	1
Bodigrim	a**o@g**m	1
and 19 more...

Issue and Pull Request metadata

Last synced: about 2 months ago

Package metadata

Total packages: 1
Total downloads:
- hackage: 78,858 total
Total dependent packages: 8
Total dependent repositories: 162
Total versions: 119
Total maintainers: 1

hackage: sbv

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

Homepage: http://github.com/LeventErkok/sbv
Licenses: BSD-3-Clause
Latest release: 0.9.24 (published about 13 years ago)
Last Synced: 2024-11-11T03:11:39.618Z (about 2 months ago)
Versions: 119
Dependent Packages: 8
Dependent Repositories: 162
Downloads: 78,858 Total
Rankings:
- Downloads: 1.735%
- Dependent packages count: 2.718%
- Dependent repos count: 3.001%
- Average: 4.043%
- Stargazers count: 5.793%
- Forks count: 6.968%
Maintainers (1)
- LeventErkok

Dependencies

.github/workflows/haskell-ci.yml actions

actions/cache v2 composite
actions/checkout v2 composite

.github/workflows/hlint.yml actions

actions/checkout v2 composite
rwe/actions-hlint-run v2 composite
rwe/actions-hlint-setup v1 composite

sbv.cabal hackage

deepseq * benchmark
filepath * benchmark
process * benchmark
random * benchmark
sbv * benchmark
tasty * benchmark
tasty-bench * benchmark
time * benchmark
QuickCheck *
array *
async *
containers *
deepseq *
directory *
filepath *
libBF *
mtl *
pretty *
process *
random *
syb *
template-haskell *
text *
time *
transformers *
uniplate *
QuickCheck * test
base * test
bytestring * test
containers * test
directory * test
filepath * test
hlint * test
mtl * test
process * test
random * test
sbv * test
tasty * test
tasty-golden * test
tasty-hunit * test
tasty-quickcheck * test