Search Results for "security operating system"
Sort By:
Showing 3 open source projects for "security operating system"
View related business solutions-
AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix vulnerabilities.
-
eMaint is an award-winning Computerized Maintenance Management Software (CMMS) for managing work orders, PM schedules, and parts inventory.eMaint is an award-winning, cloud-based Computerized Maintenance Management System (CMMS) software designed to improve how organizations manage their maintenance reliability operations, resources, equipment, and compliance. Suitable for any size organization or enterprise, eMaint saves companies valuable time and money by integrating the tools they need in one powerful platform.
-
1
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
2
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
-
3
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.
- Previous
- You're on page 1
- Next
