0
I Use This!
Inactive
Analyzed 26 minutes ago. based on code collected 31 minutes 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...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    search using multiple tags to find exactly what you need
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    compare projects before you chose one to use

Languages

Languages?height=75&width=75
CSS
33%
Haskell
39%
JavaScript
23%
2 Other
5%

30 Day Summary

Apr 9 2021 — May 9 2021

12 Month Summary

May 9 2020 — May 9 2021

Ratings

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