1
I Use This!
Moderate Activity
Analyzed 28 days ago. based on code collected 4 months 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
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    check out hot projects on the Open Hub

Languages

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

30 Day Summary

Feb 6 2017 — Mar 8 2017

12 Month Summary

Mar 8 2016 — Mar 8 2017
  • 950 Commits
    Down -943 (49%) from previous 12 months
  • 61 Contributors
    Down -49 (44%) from previous 12 months