0
I Use This!
Inactive
Analyzed 1 day ago. based on code collected 2 days ago.

Project Summary

This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

Tags

No tags have been added

In a Nutshell, ProofOS...

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
  • ...
    check out hot projects on the Open Hub
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    search using multiple tags to find exactly what you need

Languages

Languages?height=75&width=75
Autoconf
42%
OCaml
36%
C
11%
4 Other
11%

30 Day Summary

Apr 19 2018 — May 19 2018

12 Month Summary

May 19 2017 — May 19 2018

Ratings

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