1
I Use This!
High Activity
Analyzed about 9 hours ago. based on code collected about 9 hours ago.

Project Summary

A Dependently Typed Functional Programming Language

Tags

dependent_types functional_language functional_programming programming_language

Badges

Quick Reference

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Languages?height=75&width=75
Haskell
79%
C
15%
10 Other
6%

30 Day Summary

Jul 18 2017 — Aug 17 2017

12 Month Summary

Aug 17 2016 — Aug 17 2017
  • 852 Commits
    Down -510 (37%) from previous 12 months
  • 79 Contributors
    Down -4 (4%) from previous 12 months