Choreographic Programming
  • GitHub
  • Choreographic Programming
      • Resources
      • Papers
      • Implementations
Edit this page Create issue

This site is maintained by The Choreographic Programming Community. If you find any problems or want to add something, please open an issue or PR. The theme is based on Docsy Jekyll.