1
I Use This!
High Activity
Analyzed 18 minutes 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

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
  • ...
    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
78%
C
15%
10 Other
7%

30 Day Summary

Jul 15 2018 — Aug 14 2018

12 Month Summary

Aug 14 2017 — Aug 14 2018
  • 819 Commits
    Down -30 (3%) from previous 12 months
  • 79 Contributors
    Down 0 (0%) from previous 12 months