0
I Use This!
Inactive
Analyzed about 7 hours ago. based on code collected about 7 hours 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...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    check out hot projects on the Open Hub
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

Languages?height=75&width=75
OCaml
43%
Emacs Lisp
35%
Haskell
20%
2 Other
2%

30 Day Summary

Jun 13 2020 — Jul 13 2020

12 Month Summary

Jul 13 2019 — Jul 13 2020

Ratings

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