ambientsprotocol / ambients-reducerLinks
Ambient Calculus reduction engine
☆8Updated 2 years ago
Alternatives and similar repositories for ambients-reducer
Users that are interested in ambients-reducer are comparing it to the libraries listed below
Sorting:
- Examples of computation abstractions using the Robust Ambients calculus☆8Updated 4 years ago
- Ambient Calculus research☆15Updated 4 years ago
- Compile programs to Ambients☆14Updated 4 years ago
- This repository contains deprecated / legacy Unixfs "V2" discussions.☆21Updated 5 years ago
- Interoperability tests for libp2p Implementations☆19Updated last week
- 🔎 Explore the IPLD directed acyclic graph with your keyboard☆22Updated 6 years ago
- Unofficial SDK for Pinata IPFS pinning service☆27Updated 6 years ago
- Fission App Documentation☆13Updated 2 years ago
- LR(1) Parser for the Ambients Protocol☆12Updated 2 years ago
- A wrapper for abstract-leveldown compliant stores, used by OrbitDB☆8Updated 2 years ago
- Collection of composable P2P libraries☆26Updated 3 years ago
- A interface you can follow to implement a valid IPLD format, resolvable through the IPLD Resolver (available in IPFS)☆29Updated 3 years ago
- A PoPuLaToR for a PeePhoLe opTimizeR☆12Updated 3 years ago
- UCAN Invocation & Pipelining☆14Updated 9 months ago
- Radicle Developers of All Countries, Unite!☆17Updated 4 years ago
- JSON schemas and validation for secure scuttlebutt message types for Dark Crystal☆10Updated 2 years ago
- erlang prototype of scuttlebutt protocol☆28Updated 3 months ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- 🔁 IPFS install manager☆36Updated last year
- Leverage other peers in the network to perform Peer Routing calls.☆16Updated 2 months ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- Interoperability tests for IPFS Implementations (on-the-wire interop)☆32Updated last year
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- Key management and cryptographically protected messages☆19Updated last year
- 📄 The Ambients protocol white paper☆46Updated 3 years ago
- A test execution engine for Michelson smart contracts.☆17Updated 6 years ago
- libp2p Collaborative Notebook for Research☆37Updated last month
- Rust crate for BLS Aggregate Signatures☆9Updated 6 years ago
- 📌Pin orbit-db stores and ipfs hashes☆31Updated last year
- Hypercore Proposals. RFCs specifying the Hypercore Protocol behaviors.☆23Updated 4 years ago