Search Results for "basic language programming"

x
Sort By:

Showing 1 open source project for "basic language programming"

View related business solutions
Security Ada Clear Filters & Widen Search
  • Keep company data safe with Chrome Enterprise Icon
    Keep company data safe with Chrome Enterprise

    Protect your business with AI policies and data loss prevention in the browser

    Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
    Download Chrome
  • The first and only enterprise browser that solves both enterprise security and workforce productivity Icon
    The first and only enterprise browser that solves both enterprise security and workforce productivity

    A browser purpose-built for work: one that simultaneously supercharges enterprise security, workforce productivity and enterprise AI.

    Traditional browsers were never designed for work. They're for internet browsing. Imagine a browser purpose-built for work: one that simultaneously supercharges enterprise security, workforce productivity and enterprise AI.
    Learn More
  • 1
    A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Categories