0
I Use This!
Inactive
Analyzed about 1 hour ago. based on code collected about 1 hour 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...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    search using multiple tags to find exactly what you need
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

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

30 Day Summary

Feb 14 2026 — Mar 16 2026

12 Month Summary

Mar 16 2025 — Mar 16 2026

Ratings

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