0
I Use This!
Inactive
Analyzed about 18 hours ago. based on code collected 3 days ago.

Project Summary

An automatic prover of termination of logic programs and narrowing

Tags

No tags have been added

In a Nutshell, narradar...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

Haskell
82%
JavaScript
7%
CSS
5%
3 Other
6%

30 Day Summary

Aug 6 2024 — Sep 5 2024

12 Month Summary

Sep 5 2023 — Sep 5 2024

Ratings

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