RDF fact prover and proof validator operating on simple conjunctive rules.
☆12Feb 28, 2026Updated 4 months ago
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 6 months ago
- Aries compatible identity agent service☆18May 28, 2024Updated 2 years ago
- Personal Online Data Operating System☆42Updated this week
- DoCO, the Document Components Ontology, is an ontology for describing the component parts of a bibliographic document. It forms part of S…☆17Jun 29, 2026Updated 3 weeks ago
- Elixir BERT encoder/decoder☆30Dec 21, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Simple but powerful graph traversing library for RDF☆43Mar 10, 2025Updated last year
- AI QA interface to your obsidian notes☆18May 31, 2023Updated 3 years ago
- ☆12Feb 26, 2020Updated 6 years ago
- Unified access to tabular data☆46Jul 23, 2022Updated 3 years ago
- Archived! Go to transferwise/api-documentation instead.☆11Nov 19, 2020Updated 5 years ago
- Ghostwriter app created with GitHub Copilot SDK☆16Feb 18, 2026Updated 5 months ago
- An implementation of SPARQL for Elixir☆44Jun 21, 2026Updated 3 weeks ago
- Sample of a multiuser system using GitHub Copilot SDK☆17Jul 6, 2026Updated 2 weeks ago
- ☆10Feb 8, 2020Updated 6 years ago
- AI Agents on 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.
- Ccache is a Redis client-side caching without fear.☆18Jul 25, 2024Updated last year
- W3C's Notation 3 (N3) Community Group☆56Jul 13, 2026Updated last week
- ☆12Apr 23, 2025Updated last year
- JavaScript implementation of Cryptographic Hyperlinks specification.☆14Jan 14, 2023Updated 3 years ago
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆45Jul 12, 2026Updated last week
- This repository contains the Curity Identity Server helm chart source code.☆11Jun 16, 2026Updated last month
- Get all modules implementing an Elixir behaviour☆14May 20, 2026Updated 2 months ago
- Multi-language implementation of the Presentation Exchange protocol.☆10Nov 30, 2020Updated 5 years ago
- An OIDC authorization server building blocks with security and privacy by design philosophy.☆29Jul 30, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Prepends project files with given template.☆19Mar 4, 2025Updated last year
- ☆11Dec 13, 2020Updated 5 years ago
- Bios modding / unlocking not required☆10Apr 29, 2021Updated 5 years ago
- Redis in front, postgresql out back☆20Oct 25, 2020Updated 5 years ago
- JSON-LD 1.1 in CBOR Note☆12Apr 13, 2026Updated 3 months ago
- A friendly language for mappings to RDF☆12Nov 21, 2025Updated 7 months ago
- ☆16Jul 2, 2026Updated 2 weeks ago
- ☆10Updated this week
- This is a mirror of the repository at Codeberg (https://codeberg.org/openEngiadina/cpub)☆14Apr 24, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Creates triples for various entailment regimes of a vocabulary for enabling SPARQL 1.1 Entailment☆19Jan 8, 2024Updated 2 years ago
- Elixir library to enable awesome local development for websites and web applications☆20Jun 20, 2025Updated last year
- Project Lizard - a clustered SPARQL database providing a fault-tolerant operation.☆13Dec 14, 2021Updated 4 years ago
- Example osquery configuration for Linux servers using eBPF for events☆16Aug 27, 2021Updated 4 years ago
- Visual similarity search engine demo with use of PyTorch Metric Learning and Qdrant☆16Jan 9, 2023Updated 3 years ago
- (unofficial) linux command line interface for www.uptimerobot.com☆26Updated this week
- Simple spaCy-based concept extraction API, involving a dictionary of relevant concepts.☆10May 15, 2019Updated 7 years ago