jeromesimeon

aws-qldb-lambda

Accord Project Smart Legal Contracts on AWS

cicero

Accord Project Smart Templates Implementation

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

concerto

Concerto is a 100% JavaScript schema language and runtime

dbcert

Runtime and runner for a compiler from SQL to JavaScript

ergo

The Ergo Language for Smart Legal Contracts

eslint-config

Reuseable eslint config for Clause Node.js projects

jsast

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

markdown-transform

Library for Markdown Templates, Parsing, and Transformations

miniverse

A little experiment with the Verse calculus

models

Accord Project Model Repository

node-http-libraries

paramcoq

Coq plugin for parametricity [maintainer=@proux01]

parseque

Total Parser Combinators in Coq

pdfkit

A JavaScript PDF generation library for Node and the browser

pdfmake

Client/server side PDF printing in pure JavaScript

qcert

A Platform for Implementing and Verifying Query Compilers

rescript-compiler

The compiler for ReScript.

rml

ReactiveML: a programming language for implementing interactive systems.

slack-signup

A tiny web application to invite a user into your slack team.

techdocs

Technical Documentation for all projects

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

wasm-spec

WebAssembly specification, reference interpreter, and test suite.

WasmCert-Coq

A mechanisation of Wasm in Coq

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

web-components

Accord Project Web Components