Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive
Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

An automatic prover of termination of logic programs and narrowing

Tags

No tags have been added

In a Nutshell, narradar...

Quick Reference

Project Links:

Code Locations:
https://github.com/pepeiborra/na...
Similar Projects:
Managers:
Become the first manager for 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
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    compare projects before you chose one to use

Code

Lines of Code

Activity

Commits per Month

Community

Languages

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

30 Day Summary

Nov 9 2025 — Dec 9 2025

12 Month Summary

Dec 9 2024 — Dec 9 2025

Most Recent Contributors

pepe Pepe Iborra
José Iborra José Iborra
ppe

Ratings

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