0
I Use This!
High Activity
Analyzed about 8 hours ago. based on code collected about 17 hours ago.

Project Summary

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.

Tags

No tags have been added

Badges

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    data presented on the Open Hub is available through our API

30 Day Summary

Sep 14 2019 — Oct 14 2019

12 Month Summary

Oct 14 2018 — Oct 14 2019
  • 1061 Commits
    Up + 432 (68%) from previous 12 months
  • 9 Contributors
    Down 0 (0%) from previous 12 months