dckc / awesome-ocapLinks
Awesome Object Capabilities and Capability Security
☆381Updated 2 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☆208Updated 3 weeks ago
- A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.☆146Updated 2 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 5 years ago
- An alternative to Urbit☆93Updated 8 years ago
- Working area for Braid extensions to HTTP☆254Updated last year
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 6 years ago
- ☆117Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆414Updated 3 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 6 years ago
- [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.☆484Updated 5 years ago
- Protocol documentation for Secure Scuttlebutt☆258Updated 2 years ago
- Noether programming language☆129Updated 8 years ago
- RWOT9 in Prague, The Czech Republic (September 2019)☆117Updated 8 months ago
- A pseudo-random deterministic merkle tree built on LMDB☆81Updated 9 months ago
- Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs☆319Updated 2 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.☆90Updated last week
- Self identifying base encodings☆318Updated 7 months ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆37Updated 2 years ago
- a flexible and distributed system for deriving, and interacting with, computational trust☆141Updated 3 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- A library to create p2p applications, using the browser as a full peer.☆224Updated last year
- A private decentralized database replicated over Git (or any other distributed log)☆74Updated last week
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆277Updated 3 weeks ago
- User Controlled Authorization Network (UCAN) Specification☆262Updated last month
- Compact self-describing codecs. Save space by using predefined multicodec tables.☆365Updated 3 months ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 6 months ago
- sketch of a secure async group communication system☆101Updated 11 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- Macaroons are flexible authorization credentials that support decentralized delegation, attenuation, and verification.☆503Updated 4 years ago