erights

erights's Stars

• kriskowal/gtor

  A General Theory of Reactivity

  Language:JavaScript3k12228110

• endojs/endo

  Endo is a distributed secure JavaScript sandbox, based on SES

  Language:JavaScript8602793375

• runtimeverification/verified-smart-contracts

  Smart contracts which are formally verified

  Language:Solidity7255118137

• bytecodealliance/cap-std

  Capability-oriented version of the Rust standard library

  Language:Rust673156434

• decentralized-identity/decentralized-web-node

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

  Language:HTML4047412779

• dckc/awesome-ocap

  Awesome Object Capabilities and Capability Security

  353334025

• Agoric/agoric-sdk

  monorepo for the Agoric Javascript smart contract platform

  Language:JavaScript335254.8k227

• WICG/proposals

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

  2395818816

• ucan-wg/spec

  User Controlled Authorization Network (UCAN) Specification

  220175718

• salesforce/near-membrane

  JavaScript Near Membrane Library that powers Lightning Locker Service

  Language:TypeScript115125127

• agoric-labs/jessica

  Jessica - Jessie (secure distributed Javascript) Compiler Architecture

  Language:TypeScript365169

• Agoric/documentation

  User documentation

  Language:JavaScript171642840

• tc39/tg3

  TC39-TG3: Security

  132432

• Agoric/layer-cake

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

  Language:JavaScript82134

• 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

  6301

• sophiaIC/HolisticSpecifications

  Language:TeX5621

• Agoric/evaluator-shim

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

  41401

• erights/leo

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

  Language:Rust3000

• mhofman/disposator

  Explicit resource management leveraging the iterator protocol

  Language:JavaScript3300

• agoric-labs/moddable

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

  Language:C2300

• erights/grammar

  A utility for declaring grammars over trees

  Language:JavaScript2000

• Agoric/simple-exchange-frontend

  Language:JavaScript1172

• 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

  Language:JavaScript100

• 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