SEDAP-JS

Mono-repo for SEDAP JavaScript libraries, and example implementations making use of them.

Available libraries

• types: TypeScript types for SEDAP, automatically generated from the schema.
• react: React component(s) for use in SEDAP implementations.
• vscode/ext: SEDAP-related utilities for VSCode extensions.
• vscode/ui: SEDAP-related utilities for webviews inside VSCode extensions.

Example implementations

• examples/gillian-debugging: A VSCode extension providing interactive, visual debugging for the Gillian platform