RDF fact prover and proof validator operating on simple conjunctive rules.
☆11Feb 28, 2026Updated 3 weeks ago
Alternatives and similar repositories for rify
Users that are interested in rify are comparing it to the libraries listed below
Sorting:
- ☆12Jan 6, 2026Updated 2 months ago
- Aries compatible identity agent service☆18May 28, 2024Updated last year
- DeepNext is an AI-powered junior software engineering assistant designed to automate the process of converting issue descriptions into ac…☆17Jan 27, 2026Updated last month
- ☆11Apr 23, 2025Updated 10 months ago
- Personal Online Data Operating System☆40Mar 11, 2026Updated last week
- This repository contains the Curity Identity Server helm chart source code.☆11Mar 10, 2026Updated last week
- This package contains a lightweight deductive database system in OCaml☆41Dec 15, 2021Updated 4 years ago
- AI QA interface to your obsidian notes☆19May 31, 2023Updated 2 years ago
- Visual similarity search engine demo with use of PyTorch Metric Learning and Qdrant☆13Jan 9, 2023Updated 3 years ago
- Java SDK for the Telnyx API☆15Updated this week
- Go SDK for the Telnyx API☆121Updated this week
- Simple but powerful graph traversing library for RDF☆42Mar 10, 2025Updated last year
- Transparent Node.js wrapper for the updown.io API☆18Jun 22, 2022Updated 3 years ago
- Unified access to tabular data☆46Jul 23, 2022Updated 3 years ago
- An implementation of SPARQL for Elixir☆43Jan 21, 2026Updated 2 months ago
- (unofficial) linux command line interface for www.uptimerobot.com☆24Jun 17, 2013Updated 12 years ago
- ☆16Mar 1, 2026Updated 2 weeks ago
- Privacy browser extension for researching GPC privacy choice user interfaces☆20Jun 21, 2024Updated last year
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆38Feb 23, 2026Updated 3 weeks ago
- JavaScript implementation of Cryptographic Hyperlinks specification.☆14Jan 14, 2023Updated 3 years ago
- An OIDC authorization server building blocks with security and privacy by design philosophy.☆28Jul 30, 2024Updated last year
- Get all modules implementing an Elixir behaviour☆14May 12, 2020Updated 5 years ago
- Prepends project files with given template.☆18Mar 4, 2025Updated last year
- Creates triples for various entailment regimes of a vocabulary for enabling SPARQL 1.1 Entailment☆18Jan 8, 2024Updated 2 years ago
- JSON-LD 1.1 in CBOR Note☆10May 15, 2024Updated last year
- ☆21Dec 3, 2021Updated 4 years ago
- This is a mirror of the repository at Codeberg (https://codeberg.org/openEngiadina/cpub)☆14Apr 24, 2022Updated 3 years ago
- Elixir library to enable awesome local development for websites and web applications☆19Jun 20, 2025Updated 9 months ago
- DoCO, the Document Components Ontology, is an ontology for describing the component parts of a bibliographic document. It forms part of S…☆16Sep 7, 2019Updated 6 years ago
- Nearest neighbor search algorithms including a ball tree and a vantage point tree.☆12Dec 2, 2025Updated 3 months ago
- Simple spaCy-based concept extraction API, involving a dictionary of relevant concepts.☆10May 15, 2019Updated 6 years ago
- Project Lizard - a clustered SPARQL database providing a fault-tolerant operation.☆13Dec 14, 2021Updated 4 years ago
- Adapting KuzuDB's Rust crate to Elixir using Rustler☆14May 16, 2025Updated 10 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
- Antelope cryptography library for ECC, RSA and SHA-3☆10Mar 12, 2025Updated last year
- Key Management Services for Go☆10Oct 27, 2025Updated 4 months ago
- This repository demonstrates lazy loading of modules using routing.☆11Nov 24, 2020Updated 5 years ago
- Cube Schema☆13Mar 14, 2026Updated last week
- ☆64Nov 4, 2025Updated 4 months ago