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

Project Summary

Collect type information about Agda like goals in Haskell code.

Tags

No tags have been added

In a Nutshell, ghc-goals...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

Haskell
99%
2 Other
1%

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!