EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.
☆25Nov 3, 2026Updated this week
Alternatives and similar repositories for eyeprolog
Users that are interested in eyeprolog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 29, 2025Updated last year
- Generate SHACL shapes and vocabularies from Mermaid class diagrams.☆11Aug 14, 2025Updated last year
- Triple Pattern Fragments interface to a Solid server☆12Aug 28, 2020Updated 6 years ago
- An HTTP client for RDF resources☆16Updated this week
- mayktso: encounters at an endpoint☆20Jul 8, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- RDF/JS Dataset and Store that resorts to a web assembly backend☆12Jun 26, 2023Updated 3 years ago
- sop, a swiss-army knife for processing RDF and Linked Data on the command line☆22Sep 15, 2026Updated last month
- Create SPARQL queries in a graphical way☆10Dec 29, 2011Updated 14 years ago
- Prolog, Datalog, languages, resources, and beyond!☆38Aug 8, 2026Updated 2 months ago
- Google Sheets to Open Data Publishing Tool☆13Mar 31, 2015Updated 11 years ago
- The Semantic Web Application Platform: cwm etc☆38Jan 10, 2024Updated 2 years ago
- A Markdown pre-processor with support for BibTeX citations.☆12May 22, 2018Updated 8 years ago
- A framework for writing markdown-based scholarly articles.☆47Updated this week
- Reactive Reasoning☆55Sep 28, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Applying the Chinese Wall Reverse Engineering Technique to Large Language Model Code Editing☆12Aug 2, 2025Updated last year
- A Notation3 (N3) reasoner in JavaScript.☆19Oct 30, 2026Updated last week
- W3C's Notation 3 (N3) Community Group☆55Aug 23, 2026Updated 2 months ago
- Native bindings for Node.js to access HDT compressed triple files.☆47Oct 30, 2026Updated last week
- A Node.JS and CLI interface for Solid☆18May 27, 2025Updated last year
- A tutorial for using W3C PROV for working with data provenance☆12Oct 10, 2014Updated 12 years ago
- Form UI elements driven by SHACL Shapes☆55May 26, 2025Updated last year
- Render resources described in RDF using logicless templates.☆15Dec 30, 2022Updated 3 years ago
- Generate class diagram representing empirical schema of data in a SPARQL endpoint☆10Jan 4, 2018Updated 8 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.
- Universal RDF/JS graph traverser☆14Sep 14, 2026Updated last month
- Resource SubscrIption and Notification sErvice☆14Aug 19, 2015Updated 11 years ago
- An RDFa 1.1 query engine implemented in pure, extension-free XSLT 1.0☆11Jul 29, 2025Updated last year
- PAKCS: The Portland Aachen Kiel Curry system☆16Oct 11, 2026Updated 3 weeks ago
- Access Control with SHACL☆15Dec 21, 2023Updated 2 years ago
- A subset of the SHACL checking functionality.☆10Oct 10, 2024Updated 2 years ago
- A fast RDF/JS SHACL engine☆61Oct 11, 2026Updated 3 weeks ago
- Static purity and effect analysis for Clojure.☆19Oct 24, 2026Updated 2 weeks ago
- a command-line and interactive shell for Solid☆26Mar 26, 2024Updated 2 years ago
- 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.
- Dereference any URL for its RDF contents☆39Aug 17, 2026Updated 2 months ago
- Citation Extraction and Classifier☆16Apr 18, 2026Updated 6 months ago
- ☆25Oct 24, 2023Updated 3 years ago
- Python-based Linked Data Notification libraries☆16Aug 1, 2026Updated 3 months ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆16Updated this week
- Quality Shapes Extraction from very large Knowledge Graphs☆16Nov 15, 2025Updated 11 months ago
- The graphics toolkit for SWI-Prolog☆23Updated this week