dckc / awesome-ocapLinks
Awesome Object Capabilities and Capability Security
☆370Updated 4 months 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☆190Updated last week
- Tiny subset of JavaScript for ocap-safe universal mobile code☆301Updated 3 weeks ago
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 4 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
- A pseudo-random deterministic merkle tree built on LMDB☆76Updated 6 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆401Updated 3 years ago
- An alternative to Urbit☆94Updated 7 years ago
- Protocol documentation for Secure Scuttlebutt☆252Updated last year
- Moonad: a Peer-to-Peer Operating System☆101Updated 5 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- a datalog interpreter in typescript☆212Updated 8 months ago
- Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs☆320Updated 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
- User Controlled Authorization Network (UCAN) Specification☆254Updated last month
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- Proquints: Identifiers that are Readable, Spellable, and Pronounceable.☆299Updated 11 months ago
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Noether programming language☆127Updated 8 years ago
- A library to create p2p applications, using the browser as a full peer.☆221Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- Offset payment engine☆165Updated 2 years ago
- 🌱 Grow delightful software☆265Updated 6 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆173Updated this week
- Macaroons are flexible authorization credentials that support decentralized delegation, attenuation, and verification.☆497Updated 4 years ago
- All aboard the STATEBUS!!!☆119Updated last week
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated 2 weeks ago
- Collaboration for reinventing software in human terms☆174Updated 7 years ago
- RWOT9 in Prague, The Czech Republic (September 2019)☆116Updated 5 months ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆135Updated 3 months ago