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
- Compile programs to Ambients☆14Updated 4 years ago
- Ambient Calculus research☆15Updated 4 years ago
- Unofficial SDK for Pinata IPFS pinning service☆27Updated 6 years ago
- Interoperability tests for libp2p Implementations☆19Updated last week
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- LR(1) Parser for the Ambients Protocol☆12Updated 3 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- JSON schemas and validation for secure scuttlebutt message types for Dark Crystal☆10Updated 2 years ago
- A wrapper for abstract-leveldown compliant stores, used by OrbitDB☆8Updated 2 years ago
- UCAN Invocation & Pipelining☆14Updated 10 months ago
- This repository contains deprecated / legacy Unixfs "V2" discussions.☆21Updated 5 years ago
- Collection of composable P2P libraries☆26Updated 3 years ago
- datastore interface☆23Updated 3 years ago
- Content content-addressable data feed☆25Updated 6 years ago
- 🔎 Explore the IPLD directed acyclic graph with your keyboard☆23Updated 6 years ago
- Dat Network Protocol protobuf definitions.☆19Updated 4 years ago
- local offline p2p social git frontend☆56Updated 7 years ago
- Leverage other peers in the network to perform Peer Routing calls.☆16Updated 2 months ago
- Alpha implementation of the Sprawl distributed marketplace protocol.☆29Updated 2 years ago
- [ARCHIVED] POST - a datastructure for human communication☆24Updated 5 years ago
- Fission App Documentation☆13Updated 2 years ago
- Abstract interface to implement random-access instances.☆15Updated last year
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- git remote for hypergit☆15Updated 7 years ago
- LoFiRe Rust implementation☆15Updated 2 years ago
- Radicle Developers of All Countries, Unite!☆17Updated 4 years ago
- libp2p Collaborative Notebook for Research☆37Updated last month
- [WIP] A browser lite client for the Scuttlebutt network☆18Updated 6 years ago