1
I Use This!
Very High Activity
Analyzed 17 days ago. based on code collected 17 days ago.

Project Summary

A Dependently Typed Functional Programming Language

Tags

dependent_types functional_language functional_programming programming_language

Badges

In a Nutshell, Idris-lang...

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
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    check out hot projects on the Open Hub

Languages

Languages?height=75&width=75
Haskell
78%
C
15%
10 Other
7%

30 Day Summary

Oct 30 2017 — Nov 29 2017

12 Month Summary

Nov 29 2016 — Nov 29 2017
  • 1062 Commits
    Down -56 (5%) from previous 12 months
  • 86 Contributors
    Up + 18 (26%) from previous 12 months