erights

erights's Stars

• kriskowal/gtor

  A General Theory of Reactivity

  Language:JavaScript3k12328109

• endojs/endo

  Endo is a distributed secure JavaScript sandbox, based on SES

  Language:JavaScript7612887568

• runtimeverification/verified-smart-contracts

  Smart contracts which are formally verified

  Language:Solidity7105018129

• bytecodealliance/cap-std

  Capability-oriented version of the Rust standard library

  Language:Rust630146129

• decentralized-identity/decentralized-web-node

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

  Language:HTML4007412376

• dckc/awesome-ocap

  Awesome Object Capabilities and Capability Security

  334333324

• Agoric/agoric-sdk

  monorepo for the Agoric Javascript smart contract platform

  Language:JavaScript303234.2k191

• WICG/proposals

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

  213571499

• ucan-wg/spec

  User Controlled Authorization Network (UCAN) Specification

  171155517

• salesforce/near-membrane

  JavaScript Near Membrane Library that powers Lightning Locker Service

  Language:TypeScript111105127

• agoric-labs/jessica

  Jessica - Jessie (secure distributed Javascript) Compiler Architecture

  Language:TypeScript355169

• Agoric/documentation

  User documentation

  Language:JavaScript141538538

• tc39/tg3

  TC39-TG3: Security

  102431

• Agoric/layer-cake

  Class/traits-like composition of objects-as-closures

  Language:JavaScript81834

• project-oak/arcsjs-chromium

  Language:JavaScript7605

• Chainboard-Academy/agoric-lecture-content

  This repository contains the lecture content for Chainboard Academy Agoric Bootcamp

  Language:JavaScript6126

• IlyasMercan/AgoricPatterns

  Patterns for Agoric smart contracts and code written in Hardened JavaScript

  61

• Agoric/evaluator-shim

  MOVED to @agoric/ses-shim. Evaluator shim for SES Compartments

  41

• sophiaIC/HolisticSpecifications

  Language:TeX4621

• erights/leo

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

  Language:Rust3000

• agoric-labs/moddable

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

  Language:C20

• erights/grammar

  A utility for declaring grammars over trees

  Language:JavaScript2000

• mhofman/disposator

  Explicit resource management leveraging the iterator protocol

  Language:JavaScript2300

• Agoric/simple-exchange-frontend

  Language:JavaScript1

• erights/cst-tokens

  A library for traversing and manipulating CSTs

  Language:JavaScript100

• erights/helpers

  Command helpers for use in writing cst-tokens grammars

  Language:JavaScript100

• erights/js-descriptors

  cst-tokens token descriptors for javascript tokens

  1

• erights/js-grammar-estree

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

  Language:JavaScript100

• erights/meriyah

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

  Language:TypeScript100

• jfparadis/proposal-frozen-realms

  Drafting Frozen Realm proposal for ES7

  Language:HTML1301