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

  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    compare projects before you chose one to use
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    check out hot projects on the Open Hub

Languages

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

30 Day Summary

Jul 18 2019 — Aug 17 2019

12 Month Summary

Aug 17 2018 — Aug 17 2019

Ratings

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