docknetwork / rify
RDF fact prover and proof validator operating on simple conjunctive rules.
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rify
- An open-source database inspired by Datomic☆29Updated 11 months ago
- Implementation of the Rlay decentralized ontology format☆12Updated 3 years ago
- A WASM VM written in Elixir☆19Updated 4 years ago
- CURIEs, or Compact URIs, for JSON-LD, RDF and other things.☆11Updated last year
- A rust implementation of statecharts: hierarchical, reactive state machines☆54Updated 7 years ago
- Well Typed Foundations 🏛️☆15Updated 3 years ago
- UCAN Invocation & Pipelining☆12Updated 3 months ago
- ☆14Updated last year
- ☆39Updated 7 months ago
- Melda: A General Purpose Delta State JSON CRDT☆27Updated last month
- WRite Ahead Logging for distributed applications.☆30Updated 2 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Rust implementation of a kademlia DHT☆11Updated 2 years ago
- ☆11Updated last year
- ☆11Updated this week
- A tiny library for processing Erlang BEAM file in Rust☆21Updated last year
- Linked Data Rendering for humans☆18Updated 2 years ago
- erlang prototype of scuttlebutt protocol☆28Updated last week
- RDF parsers library☆87Updated 3 weeks ago
- LoFiRe Rust implementation☆15Updated last year
- ⚗️ A Rust client for the Hex package manager☆21Updated 4 months ago
- Request For Comments (RFCs) documenting changes to Qri☆12Updated 2 years ago
- A Cursor type for use with rust-postgres☆12Updated last year
- Rust interface for the RDFox database☆10Updated 9 months ago
- SQLite based ipfs block store☆46Updated last year
- A rust implementation of solid/solid-spec☆14Updated last year
- An optimized Sparse Merkle Tree in Rust☆45Updated last year
- ☆9Updated 2 years ago
- Elixir implementation of modified Merkle Patricia tree (trie)☆24Updated 5 years ago
- A stream that generates a merkle tree based on the incoming data.☆50Updated 3 years ago