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
Enterprise-grade ITSM, for every business Icon
Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Try it Free
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