Typed Context Protocol Community Group - Tools

Blog

Blog

 Chat

IRC

 Mailing List

internal-typed-context-protocol Restricted archives

public-typed-context-protocol

 RSS

RSS

 Version Control

GitHub Organization

GitHub repositories

• .github

  Typed ConteXt Protocol tcxp://

  typed-context-protocol/.github

• charter

  Contains our Charter, as W3C Typed Context Protocol associated repo

  typed-context-protocol/charter

• tcxp

  Reference implementation of the Typed Context Protocol

  typed-context-protocol/tcxp

• tcxp-simulator-web

  tcxp (Typed Context Protocol) v0.1 workbench, engine, tests and Lean proofs

  typed-context-protocol/tcxp-simulator-web