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. The language is based on strong theoretical bases, so that you can let its compiler do the jobs of checking your global programs and generating correct implementing code for you!

Project Activity

See All Activity >

Follow Chor

Chor Web Site

Other Useful Business Software

Identify and respond to threats before damage is done Icon
Identify and respond to threats before damage is done Icon

A SIEM that makes it easy to use logs for security, compliance, and troubleshooting.

SolarWinds® Log & Event Manager (LEM) delivers comprehensive Security Information and Event Management (SIEM) capabilities in a highly affordable, easy-to-use, and quick-to-deploy virtual appliance. LEM provides the visibility, security, and control that IT professionals need to alert on and respond to security threats, and assist in meeting the regulatory compliance guidelines of HIPAA, PCI DSS, SOX, and more. Try it FREE for 30 days!

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Chor!

Additional Project Details

Intended Audience

Science/Research, Developers

User Interface


Programming Language