dckc / awesome-ocapLinks
Awesome Object Capabilities and Capability Security
☆384Updated 3 weeks ago
Alternatives and similar repositories for awesome-ocap
Users that are interested in awesome-ocap are comparing it to the libraries listed below
Sorting:
- General planning and documentation repository for the OCapN protocol suite for distributed networked objects☆211Updated last week
- Tiny subset of JavaScript for ocap-safe universal mobile code☆306Updated last month
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 5 years ago
- Protocol documentation for Secure Scuttlebutt☆256Updated 2 years ago
- A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.☆146Updated 2 years ago
- An alternative to Urbit☆93Updated 8 years ago
- Working area for Braid extensions to HTTP☆254Updated last year
- ☆118Updated 2 years ago
- Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs☆320Updated 2 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 6 years ago
- sketch of a secure async group communication system☆101Updated 11 years ago
- Noether programming language☆130Updated 8 years ago
- A pseudo-random deterministic merkle tree built on LMDB☆81Updated 10 months ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Updated 3 years ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆37Updated 2 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 6 years ago
- MOVED to @agoric/ses-shim. SES (Secure EcmaScript) is a secure runtime for running third-party code safely☆362Updated 5 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆91Updated this week
- User Controlled Authorization Network (UCAN) Specification☆263Updated last month
- syn·di·cate: a language for interactive programs☆159Updated last month
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆63Updated last month
- A library to create p2p applications, using the browser as a full peer.☆224Updated last year
- [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.☆484Updated 5 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆74Updated last month
- A Fully Homomorphic Encryption Brainfuck virtual machine☆217Updated 6 years ago
- Macaroons are flexible authorization credentials that support decentralized delegation, attenuation, and verification.☆504Updated 4 years ago
- Linked Data Capabilities reference implementation☆28Updated 8 months ago
- a flexible and distributed system for deriving, and interacting with, computational trust☆140Updated 3 years ago