0
I Use This!
Inactive
Analyzed about 5 hours ago. based on code collected about 9 hours ago.

Project Summary

A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant

Tags

compilers framework mathematics

In a Nutshell, Lambda Tamer...

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
  • ...
    data presented on the Open Hub is available through our API
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

Languages?height=75&width=75
coq
44%
Autoconf
27%
OCaml
24%
5 Other
5%

30 Day Summary

Jul 22 2018 — Aug 21 2018

12 Month Summary

Aug 21 2017 — Aug 21 2018

Ratings

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