ambientsprotocol / ambients-reducer
Ambient Calculus reduction engine
☆8Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ambients-reducer
- Examples of computation abstractions using the Robust Ambients calculus☆8Updated 3 years ago
- Compile programs to Ambients☆14Updated 3 years ago
- Ambient Calculus research☆15Updated 3 years ago
- Fission App Documentation☆13Updated last year
- This repository contains deprecated / legacy Unixfs "V2" discussions.☆21Updated 4 years ago
- [DEPRECATED]: deprecated in favor of https://github.com/ipfs/interface-datastore☆9Updated 4 years ago
- erlang prototype of scuttlebutt protocol☆28Updated this week
- Secure Scuttlebutt handshake + boxstream library☆22Updated last year
- secret-handshake protocol for Secure Scuttlebutt (SSB)☆22Updated 3 years ago
- Content content-addressable data feed☆25Updated 5 years ago
- Collection of composable P2P libraries☆25Updated 3 years ago
- Unofficial SDK for Pinata IPFS pinning service☆26Updated 5 years ago
- Leverage other peers in the network to perform Peer Routing calls.☆16Updated 7 months ago
- 🔎 Explore the IPLD directed acyclic graph with your keyboard☆22Updated 6 years ago
- Specification for the ssb protocol☆15Updated 3 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- Hypercore Proposals. RFCs specifying the Hypercore Protocol behaviors.☆22Updated 3 years ago
- LR(1) Parser for the Ambients Protocol☆12Updated 2 years ago
- JSON schemas and validation for secure scuttlebutt message types for Dark Crystal☆10Updated last year
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- ☆21Updated 5 years ago
- Decentralized Database Research☆14Updated 3 years ago
- datastore interface☆23Updated 3 years ago
- 📄 The Ambients protocol white paper☆47Updated 2 years ago
- A wrapper for abstract-leveldown compliant stores, used by OrbitDB☆8Updated last year
- Interoperability tests for libp2p Implementations☆17Updated 2 weeks ago
- Dat Network Protocol protobuf definitions.☆18Updated 3 years ago
- UCAN Invocation & Pipelining☆12Updated 3 months ago
- check if a string is a valid ssb-reference☆14Updated 3 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago