Search Results for "program"

x
Sort By:

1 project for "program" with 3 filters applied:

Compilers BSD Internet Clear Filters & Widen Search
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Start Free
  • Endpoint Management with Remote Control Built In Icon
    Endpoint Management with Remote Control Built In

    Patch, monitor, and connect to Windows and macOS devices from one console

    Splashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.
    Start Free Trial
  • 1

    Chor

    A choreography programming language for concurrent systems

    Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Categories

veeam logo