General planning and documentation repository for the OCapN protocol suite for distributed networked objects

Proposal for tc39 of new integrity "level" protecting against both override mistakes and proxy reentrancy

Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages

Patterns for Agoric smart contracts and code written in Hardened JavaScript

This repository contains the lecture content for Chainboard Academy Agoric Bootcamp

A utility for declaring grammars over trees

A cst-tokens grammar for use with estree-compatible ASTs

Command helpers for use in writing cst-tokens grammars

A library for traversing and manipulating CSTs

A 100% compliant, self-hosted javascript parser - https://meriyah.github.io/meriyah

cst-tokens token descriptors for javascript tokens

A home for well-formed proposed incubations for the web platform. All proposals welcome.

User Controlled Authorization Network (UCAN) Specification

The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications

Decentralized data storage and message relay for decentralized identity and apps.

Smart contracts which are formally verified

Awesome Object Capabilities and Capability Security

Explicit resource management leveraging the iterator protocol

JavaScript Near Membrane Library that powers Lightning Locker Service

TC39-TG3: Security

Jessica - Jessie (secure distributed Javascript) Compiler Architecture

Capability-oriented version of the Rust standard library

A General Theory of Reactivity

User documentation

Tools for developers to create truly open IoT products using standard JavaScript on low cost microcontrollers.

Endo is a distributed secure JavaScript sandbox, based on SES

Drafting Frozen Realm proposal for ES7