1
I Use This!
High Activity
Analyzed 18 days ago. based on code collected 18 days 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
  • ...
    search using multiple tags to find exactly what you need
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    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

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