Jerome Simeon's repositories
aws-qldb-lambda
Accord Project Smart Legal Contracts on AWS
cicero-template-library
Sample Templates for Cicero
cicero-vscode-extension
VSCode extension for editing Cicero templates and Ergo logic
clause-model-library
Concerto models for clause types
code-examples-node
Node.js code examples and launcher
eslint-config
Reuseable eslint config for Clause Node.js projects
markdown-transform
Library for Markdown Templates, Parsing, and Transformations
parseque
Total Parser Combinators in Coq
Language:CoqGPL-3.0000
rescript-compiler
The compiler for ReScript.
slack-signup
A tiny web application to invite a user into your slack team.
template-studio
A Web UI for creating, editing and executing Accord Project templates
TemplateContractSigning
Nodejs implementation of signing and verification methods from cicero core. GSOC 2021
WasmCert-Coq
A mechanisation of Wasm in Coq
MIT000
web-components
Accord Project Web Components