dckc / awesome-ocapLinks
Awesome Object Capabilities and Capability Security
☆377Updated last month
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☆201Updated last week
- Tiny subset of JavaScript for ocap-safe universal mobile code☆301Updated 2 months ago
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 5 years ago
- Noether programming language☆129Updated 8 years ago
- An alternative to Urbit☆93Updated 8 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 5 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
- Protocol documentation for Secure Scuttlebutt☆257Updated last year
- A pseudo-random deterministic merkle tree built on LMDB☆78Updated 8 months ago
- ☆114Updated 2 years ago
- Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs☆319Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆405Updated 3 years ago
- All aboard the STATEBUS!!!☆120Updated last month
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆36Updated 2 years ago
- Collaboration for reinventing software in human terms☆174Updated 7 years ago
- Self identifying base encodings☆317Updated 6 months ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated 2 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆63Updated 4 years ago
- User Controlled Authorization Network (UCAN) Specification☆258Updated last month
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- A TLA+ guide☆278Updated 3 years ago
- Fission CLI & server☆119Updated last year
- A private decentralized database replicated over Git (or any other distributed log)☆74Updated 5 years ago
- A library to create p2p applications, using the browser as a full peer.☆223Updated last year
- Domain Specific Languages for Computational Law☆77Updated 4 months ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆89Updated this week
- [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.☆484Updated 5 years ago
- Proving leftpad correct two-dozen different ways☆707Updated 7 months ago
- RINA implementation for OS/Linux☆77Updated 2 years ago