ProofOS

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 >

License

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

Follow ProofOS

ProofOS Web Site

Other Useful Business Software

Rezku Point of Sale

Designed for Real-World Restaurant Operations

Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.

Learn More

Rate This Project

User Reviews

Be the first to post a review of ProofOS!

Additional Project Details

Operating Systems

Linux

Intended Audience

Developers, Information Technology, Science/Research

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

Similar Business Software

Google Cloud Platform

Google Cloud is a cloud-based service that allows you to create anything from simple websites to complex applications for businesses of all sizes. New customers get $300 in free credits to run, test, and deploy workloads. All customers can use 25+ products for free, up to monthly usage...

See Software
Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
Aikido Security

Secure your code, cloud, and runtime in one central system. Aikido’s all-in-one security platform is loved by developers and security teams alike with full security visibility, insight in what matters most, and fast/automatic vulnerability fixes. Teams get security done with Aikido thanks...

See Software
FusionAuth

FusionAuth is a modern, developer-focused identity and access management platform built to give you full control over your authentication stack. Whether you’re building a startup app or managing enterprise-scale infrastructure, FusionAuth delivers all the must-have features — from login and SSO...

See Software
Eurekos

Learning management systems are good for training employees but often fail to address the unique needs of training customers & partners as well as customers' customers & partners. Eurekos is a leading European customer education specialist, offering innovative training software solutions for...

See Software
Hostinger Horizons

Hostinger Horizons is the perfect vibe coding tool, letting you build websites and apps based on an idea or a feeling. Simply describe what you want, and our AI acts as your personal designer and developer, creating a complete, mobile friendly project instantly. Horizons is built to create...

See Software