0
I Use This!
Inactive
Analyzed about 1 hour ago. based on code collected about 1 hour ago.

Project Summary

Translator from GHC Core to Isabelle/HOLCF

Tags

No tags have been added

In a Nutshell, core-to-isabelle...

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
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Languages?height=75&width=75
OCaml
43%
Emacs Lisp
34%
Haskell
21%
2 Other
2%

30 Day Summary

Nov 13 2018 — Dec 13 2018

12 Month Summary

Dec 13 2017 — Dec 13 2018

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!