dckc / awesome-ocapLinks
Awesome Object Capabilities and Capability Security
☆369Updated 3 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☆188Updated this week
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 4 years ago
- Tiny subset of JavaScript for ocap-safe universal mobile code☆300Updated last week
- Protocol documentation for Secure Scuttlebutt☆252Updated last year
- A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.☆146Updated 2 years ago
- Working area for Braid extensions to HTTP☆251Updated 9 months ago
- An alternative to Urbit☆94Updated 7 years ago
- Noether programming language☆127Updated 8 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 5 years ago
- [ARCHIVED] 📦 IPFS Package Managers Task Force☆98Updated 5 years ago
- A pseudo-random deterministic merkle tree built on LMDB☆76Updated 5 months ago
- MOVED to @agoric/ses-shim. SES (Secure EcmaScript) is a secure runtime for running third-party code safely☆362Updated 5 years ago
- ☆115Updated last year
- sketch of a secure async group communication system☆101Updated 11 years ago
- RWOT9 in Prague, The Czech Republic (September 2019)☆116Updated 4 months ago
- a datalog interpreter in typescript☆212Updated 8 months ago
- 🌱 Grow delightful software☆265Updated 6 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆75Updated 5 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- ☆143Updated last year
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs☆319Updated 2 years ago
- Collaboration for reinventing software in human terms☆174Updated 7 years ago
- syn·di·cate: a language for interactive programs☆159Updated 5 months ago
- ☆189Updated 5 years ago
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.☆483Updated 5 years ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆37Updated 2 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆483Updated this week