Search Results for "safety"

x
Sort By:

4 programs for "safety" with 2 filters applied:

System ChromeOS Clear Filters & Widen Search
  • Our Free Plans just got better! | Auth0 by Okta Icon
    Our Free Plans just got better! | Auth0 by Okta

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
    Try free now
  • Bright Data - All in One Platform for Proxies and Web Scraping Icon
    Bright Data - All in One Platform for Proxies and Web Scraping

    Say goodbye to blocks, restrictions, and CAPTCHAs

    Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
    Get Started
  • 1

    autoCode4

    Synthesizing embedded control software from formal specifications

    autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    A complete (server and client, UDP and TCP transport), easy to use OSC (OpenSound-Control) library, featuring OO (C++) design, platform independence, type-safety, exception-handling and documentation (doxygen). Example clients and servers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The Logging Framework supports stream-like usability, extensibility, portability, type-safety, allows enabling/disabling certain parts or fully at compile time and dependent on the configuration also at runtime and avoids macro-related pitfalls.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Jam OS

    A new vision of the operating system

    JAM OS is a completely new desktop operating system designed to show the possibility of HTML5, CSS3 and JavaScript. System puts priority on the safety and convenience.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Innovate faster with enterprise-ready generative AI—enhanced by Gemini Icon
    Innovate faster with enterprise-ready generative AI—enhanced by Gemini

    Build, deploy, and scale machine learning (ML) models faster, with fully managed ML tools for any use case.

    Vertex AI offers everything you need to build and use generative AI—from AI solutions, to Search and Conversation, to 130+ foundation models, to a unified AI platform.
    Try for free
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories