docknetwork / rify
RDF fact prover and proof validator operating on simple conjunctive rules.
☆9Updated last year
Alternatives and similar repositories for rify:
Users that are interested in rify are comparing it to the libraries listed below
- Implementation of the Rlay decentralized ontology format☆12Updated 4 years ago
- Implementation of Transfers in the SAFE Network.☆11Updated 3 years ago
- RDF parsers library☆85Updated last month
- Linked Data Rendering for humans☆17Updated 2 years ago
- An open-source database inspired by Datomic☆30Updated last year
- JavaScript implementation of Cryptographic Hyperlinks specification.☆13Updated 2 years ago
- ☆11Updated last year
- Rust implementation of UCAN☆64Updated 5 months ago
- ☆27Updated 2 months ago
- Parser and serializer for the Turtle format☆11Updated last year
- CURIEs, or Compact URIs, for JSON-LD, RDF and other things.☆11Updated last month
- An RDF library in pure Rust☆69Updated 4 years ago
- UCAN Invocation & Pipelining☆13Updated 5 months ago
- An IETF Internet Draft for the Multihash data format☆10Updated last year
- Multi-party computation utilities toolkit for rust☆16Updated 5 years ago
- A stream that generates a merkle tree based on the incoming data.☆51Updated 3 years ago
- A WASM VM written in Elixir☆19Updated 5 years ago
- A rust implementation of solid/solid-spec☆14Updated last year
- Manas project aims to create a modular framework and ecosystem to create robust storage servers adhering to Solid protocol in rust.☆78Updated 5 months ago
- The RDF toolkit for Rust is a set of crates providing the ability to work with RDF data☆16Updated 2 months ago
- Merkle tree toolkit☆46Updated 4 years ago
- The cryptographic signature multifomat☆11Updated 6 months ago
- A rust implementation of statecharts: hierarchical, reactive state machines☆55Updated 7 years ago
- Rust implementation of a kademlia DHT☆11Updated 2 years ago
- SQLite based ipfs block store☆48Updated last year
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Code from the NordicJS talk on how to build GUN!☆18Updated 4 years ago
- Extraction and modernization of the hyper 0.11.x typed header module☆28Updated 2 years ago
- Rust interface for the RDFox database☆10Updated last year
- Elixir implementation of modified Merkle Patricia tree (trie)☆24Updated 5 years ago