0
I Use This!
Inactive
Analyzed about 20 hours ago. based on code collected about 20 hours ago.

Project Summary

SMT-Lib v2 Tools for Haskell and Agda

Tags

No tags have been added

In a Nutshell, smtlib...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    check out hot projects on the Open Hub
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    data presented on the Open Hub is available through our API

Languages

CSS
33%
Haskell
39%
JavaScript
23%
2 Other
5%

30 Day Summary

Aug 31 2022 — Sep 30 2022

12 Month Summary

Sep 30 2021 — Sep 30 2022

Ratings

Be the first to rate this project
Click to add your rating
  
Review this Project!