RDF fact prover and proof validator operating on simple conjunctive rules.
☆10Updated this week
Alternatives and similar repositories for rify
Users that are interested in rify are comparing it to the libraries listed below
Sorting:
- Personal Online Data Operating System☆39Updated this week
- ☆12Jan 6, 2026Updated last month
- Aries compatible identity agent service☆18May 28, 2024Updated last year
- This package contains a lightweight deductive database system in OCaml☆41Dec 15, 2021Updated 4 years ago
- Simple but powerful graph traversing library for RDF☆42Mar 10, 2025Updated 11 months ago
- solid-file-python is a Python library for creating and managing files and folders in Solid pods. https://www.w3.org/community/solid/☆26Nov 2, 2023Updated 2 years ago
- An OIDC authorization server building blocks with security and privacy by design philosophy.☆28Jul 30, 2024Updated last year
- Ontolex modules☆34Nov 3, 2025Updated 3 months ago
- a client-side API which supports any backend for Solid requests☆39Jun 17, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- Unified access to tabular data☆46Jul 23, 2022Updated 3 years ago
- This repository demonstrates lazy loading of modules using routing.☆11Nov 24, 2020Updated 5 years ago
- An implementation of SPARQL for Elixir☆43Jan 21, 2026Updated last month
- Tamil Language words list☆12Jul 2, 2016Updated 9 years ago
- Collaborative Discourse Manager☆11Nov 6, 2016Updated 9 years ago
- A place for design artifacts, stories, and feedback pertaining to Mirador ecosystem tools (especially Mirador 3).☆10Apr 4, 2019Updated 6 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Creating a sliding card wallet layout for Android.☆11Oct 27, 2021Updated 4 years ago
- DEPRECATED eXist code for Syriaca.org: The Syriac Reference Portal☆10Jun 1, 2024Updated last year
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Stardict dictionaries for Pali and Buddhism.☆10Jul 31, 2024Updated last year
- OWL 2 Reasoner built on DataFrog☆112Feb 19, 2026Updated last week
- ☆11Aug 1, 2016Updated 9 years ago
- Linked Web Storage Protocol☆21Updated this week
- PureScript Aff bindings for node-mongodb.☆10May 10, 2021Updated 4 years ago
- Visual collation builder☆13Mar 31, 2023Updated 2 years ago
- Snapshots of the GRETIL repository of South Asian (Sanskrit, Pali, etc.) etexts☆10Feb 21, 2026Updated last week
- A dependency injector☆10Nov 19, 2022Updated 3 years ago
- Antelope cryptography library for ECC, RSA and SHA-3☆10Mar 12, 2025Updated 11 months ago
- Key Management Services for Go☆10Oct 27, 2025Updated 4 months ago
- Browser based post correction tool for Alto XML files☆14Sep 20, 2013Updated 12 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 8 years ago
- A safe and convenient store for one value of each type☆10Apr 10, 2021Updated 4 years ago
- A Hapi plugin implementation of the core and discovery OpenID-Connect provider API☆11Jun 20, 2023Updated 2 years ago
- How to use the Web Cryptography API☆12Dec 9, 2016Updated 9 years ago
- ☆12Feb 12, 2018Updated 8 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago