ambientsprotocol / encoding-examples
Examples of computation abstractions using the Robust Ambients calculus
☆8Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for encoding-examples
- Ambient Calculus research☆15Updated 3 years ago
- Ambient Calculus reduction engine☆8Updated last year
- A wrapper for abstract-leveldown compliant stores, used by OrbitDB☆8Updated last year
- The community repo for the Ambients protocol☆23Updated 3 years ago
- Interoperability tests for IPFS Implementations (on-the-wire interop)☆32Updated last year
- LR(1) Parser for the Ambients Protocol☆12Updated 2 years ago
- Content content-addressable data feed☆25Updated 5 years ago
- Compile programs to Ambients☆14Updated 3 years ago
- Interoperability tests for libp2p Implementations☆17Updated 3 weeks ago
- [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]☆11Updated last year
- libp2p Collaborative Notebook for Research☆37Updated 9 months ago
- cURL for Distributed Web☆21Updated 2 years ago
- JSON schemas and validation for secure scuttlebutt message types for Dark Crystal☆10Updated last year
- Zero-knowledge Proof-of-reserves using Pedersen Commitments and zkSNARKs☆18Updated 2 years ago
- Decentralized Database Research☆14Updated 3 years ago
- Simple tarball encryption☆21Updated 4 years ago
- ☆15Updated 5 years ago
- Leverage other peers in the network to perform Content Routing calls.☆13Updated 8 months ago
- An implementation of Beaker's experimental datPeers API. Pass in a hyperdriv, and it does the rest☆10Updated 5 years ago
- rust implementation fo the DHT powering the HyperSwarm stack☆18Updated 2 years ago
- [DEPRECATED]: peer-book is now at https://github.com/libp2p/js-libp2p/tree/master/src/peer-store as PeerStore☆16Updated 4 years ago
- 🔁 IPFS install manager☆36Updated 8 months ago
- This is a community space where anyone can add a plot by walking through our Radicle introductory guide.☆8Updated 5 years ago
- datdot service☆15Updated 5 months ago
- collaborative file system on ipfs☆21Updated last year
- Testbed for p2p metamask client☆22Updated 5 years ago
- Secure Scuttlebutt handshake + boxstream library☆22Updated last year
- [DEPRECATED] Use ipfs-message-port-server/client instead:☆24Updated 3 years ago
- ⛔️ DEPRECATED: interface-connection is now included in https://github.com/libp2p/js-interfaces☆18Updated 4 years ago
- Moved discussion notes to https://github.com/libp2p/notes☆21Updated 4 years ago