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.

Project Activity

See All Activity >

Categories

Security, QA Automation, Operating System Kernels, Scientific/Engineering

License

BSD License, GNU Library or Lesser General Public License version 2.0 (LGPLv2), GNU General Public License version 2.0 (GPLv2)

Follow ProofOS

ProofOS Web Site

Other Useful Business Software
Open source. Easy to use. Proven. Complete. Icon
Open source. Easy to use. Proven. Complete.

End to end big data that enables you to spend less time formatting data and more time analyzing it.

Discover HPCC Systems - the truly open source big data solution that allows you to quickly process, analyze and understand large data sets, even data stored in massive, mixed-schema data lakes. Designed by data scientists, HPCC systems is a complete integrated solution from data ingestion and data processing to data delivery. The free online introductory courses and a robust developer community allow you to get started quickly.
Try For FREE Today!
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of ProofOS!

Additional Project Details

Operating Systems

Linux

Intended Audience

Information Technology, Science/Research, Developers

Programming Language

Assembly, C, OCaml (Objective Caml)

Related Categories

Assembly Security Software, Assembly QA Automation Software, Assembly Operating System Kernels, Assembly Scientific Engineering, C Security Software, C QA Automation Software, C Operating System Kernels, C Scientific Engineering, OCaml (Objective Caml) Security Software, OCaml (Objective Caml) QA Automation Software, OCaml (Objective Caml) Operating System Kernels, OCaml (Objective Caml) Scientific Engineering

Registered

2005-10-17
Report inappropriate content