LeventErkok/sbv

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

HaskellMakefilehaskellverificationsmt
This is stars and forks stats for /LeventErkok/sbv repository. As of 28 Apr, 2024 this repository has 225 stars and 31 forks.

Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
ONLYOFFICE/document-builder-packageInno SetupMakefileShell4040
JustEnoughLinuxOS/distributionMakefileShellPython617+10129+1
ucan-lab/docker-laravelMakefileDockerfile1.1k02870
PixelExperience/buildMakefilePythonGo150700
bitemyapp/learnhaskellMakefile7.8k05510
jenkinsci/docker-inbound-agentPowerShellShellDockerfile46105390
awslabs/amazon-eks-amiShellPowerShellMakefile2.2k01.1k0
keycloak/keycloak-containersShellDockerfileMakefile1.5k01.3k0
lambdaclass/circom_export_to_cairoSolidityCairoMakefile42050
slaclab/ruckusTclPythonMakefile530270