RDF fact prover and proof validator operating on simple conjunctive rules.
☆11Feb 28, 2026Updated last month
Alternatives and similar repositories for rify
Users that are interested in rify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jan 6, 2026Updated 3 months ago
- Aries compatible identity agent service☆18May 28, 2024Updated last year
- ☆12Feb 26, 2020Updated 6 years ago
- DeepNext is an AI-powered junior software engineering assistant designed to automate the process of converting issue descriptions into ac…☆17Jan 27, 2026Updated 2 months ago
- Personal Online Data Operating System☆41Updated this week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This package contains a lightweight deductive database system in OCaml☆41Dec 15, 2021Updated 4 years ago
- ☆11Apr 23, 2025Updated 11 months ago
- This repository contains the Curity Identity Server helm chart source code.☆11Mar 23, 2026Updated 2 weeks ago
- AI QA interface to your obsidian notes☆18May 31, 2023Updated 2 years ago
- Example osquery configuration for Linux servers using eBPF for events☆17Aug 27, 2021Updated 4 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
- Simple but powerful graph traversing library for RDF☆42Mar 10, 2025Updated last year
- Repository for the W3C Threat Modeling Community Group (TMCG)☆25Mar 20, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Unified access to tabular data☆46Jul 23, 2022Updated 3 years ago
- An implementation of SPARQL for Elixir☆43Mar 19, 2026Updated 3 weeks ago
- ☆16Apr 2, 2026Updated last week
- Transparent Node.js wrapper for the updown.io API☆18Jun 22, 2022Updated 3 years ago
- Go SDK for the Telnyx API☆126Updated this week
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆42Feb 23, 2026Updated last month
- ☆19Jul 31, 2024Updated last year
- (unofficial) linux command line interface for www.uptimerobot.com☆25Jun 17, 2013Updated 12 years ago
- JavaScript implementation of Cryptographic Hyperlinks specification.☆14Jan 14, 2023Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Privacy browser extension for researching GPC privacy choice user interfaces☆21Jun 21, 2024Updated last year
- An OIDC authorization server building blocks with security and privacy by design philosophy.☆29Jul 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
- Memory dump and Sample analysis tool☆19Mar 17, 2025Updated last year
- An iOS library that verifies a user's group affiliation through a modal UIWebView.☆11Aug 4, 2021Updated 4 years ago
- JSON-LD 1.1 in CBOR Note☆10May 15, 2024Updated last year
- This is a mirror of the repository at Codeberg (https://codeberg.org/openEngiadina/cpub)☆14Apr 24, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- ☆20Dec 3, 2021Updated 4 years ago
- Nearest neighbor search algorithms including a ball tree and a vantage point tree.☆12Dec 2, 2025Updated 4 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