ambientsprotocol / ambients-reducer
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
- 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
- A PoPuLaToR for a PeePhoLe opTimizeR☆12Updated 3 years ago
- Collection of composable P2P libraries☆25Updated 3 years ago
- Unofficial SDK for Pinata IPFS pinning service☆26Updated 6 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- This repository contains deprecated / legacy Unixfs "V2" discussions.☆21Updated 5 years ago
- JSON schemas and validation for secure scuttlebutt message types for Dark Crystal☆10Updated 2 years ago
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- UCAN Invocation & Pipelining☆14Updated 9 months ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- IPFS Cube will help people deploy and manage their own IPFS pinning services on top of existing cheap hardware, or cloud storage.☆32Updated last week
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- [DEPRECATED]: deprecated in favor of https://github.com/ipfs/interface-datastore☆9Updated 5 years ago
- Provides an efficient way to build and manipulate IPLD DAGs as JSON☆39Updated 4 months ago
- Alpha implementation of the Sprawl distributed marketplace protocol.☆29Updated 2 years ago
- secret-handshake protocol for Secure Scuttlebutt (SSB)☆22Updated 3 years ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆36Updated last year
- Specification for the ssb protocol☆15Updated 3 years ago
- Append-Only Log database for orbit-db☆30Updated 2 years ago
- ☆12Updated 3 years ago
- OCaml/ReasonML bindings to winit☆10Updated 4 years ago
- ☆46Updated last year
- 📄 The Ambients protocol white paper☆46Updated 3 years ago
- Linked Data Capabilities reference implementation☆26Updated 6 months ago
- SuperOptimization based Rule Generation☆12Updated 4 years ago
- A command line-based parameterized contracting tool☆46Updated last year
- a trust propagation algorithm and trust metric for local group trust computation☆35Updated 3 years ago
- Radicle Developers of All Countries, Unite!☆17Updated 4 years ago