JSON representation of first-order logic formulas
☆13Aug 30, 2020Updated 6 years ago
Alternatives and similar repositories for json-ld-logic
Users that are interested in json-ld-logic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A reasoning system for large knowledge bases.☆34Jul 21, 2026Updated 2 months ago
- A copy of Alchemy 2, a set of tools to handle Markov Logic Networks.☆28May 28, 2017Updated 9 years ago
- Example N3 scripts to demonstrate the various built-in functions☆14Dec 9, 2024Updated last year
- A Notation3 Editor in JavaScript☆16Aug 6, 2025Updated last year
- This is an Open Source Period Tracker in the making that just happens to be using Solid.☆11Feb 19, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆58Jul 16, 2023Updated 3 years ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆77Aug 11, 2026Updated 2 months ago
- ☆14Dec 17, 2022Updated 3 years ago
- Expand tags by rendering local or remote RDF resources, recursively.☆10Dec 8, 2022Updated 3 years ago
- An open implementation of an ODRL Evaluator that evaluates ODRL policies by generating Compliance Reports☆24Updated this week
- RDF Surfaces is classical first-order logic with negation in RDF☆10Feb 25, 2026Updated 7 months ago
- Simple Nth order markov chain for text. Learns from text files, generates new text files.☆31May 23, 2019Updated 7 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated last year
- A TypeScript/JavaScript implementation of the RDF/JS store interface with support for quoted triples.☆15Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Streamdata.io Stock Market Data Streaming To AWS S3 Data Lake Using Lambda Serverless☆11Jul 14, 2018Updated 8 years ago
- A tool for collection archival slivers of the web and web archives☆20Jun 1, 2026Updated 4 months ago
- Robust and Memory Efficient Event Detection and Tracking in Large News Feeds☆13Oct 15, 2021Updated 5 years ago
- A tutorial on writing wasm by hand☆24Apr 4, 2022Updated 4 years ago
- A rule-based intelligent software agent☆14Apr 10, 2024Updated 2 years ago
- Template for machine learning projects.☆11Jul 22, 2023Updated 3 years ago
- An R Markdown file with R and Python cells.☆10Aug 12, 2019Updated 7 years ago
- RDF Linked Data in Markdown☆49Jul 7, 2026Updated 3 months ago
- Advanced support for working with RDF in Prolog.☆20Aug 31, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Node.JS and CLI interface for Solid☆18May 27, 2025Updated last year
- Render resources described in RDF using logicless templates.☆15Dec 30, 2022Updated 3 years ago
- ☆14Sep 19, 2015Updated 11 years ago
- English lexicon useful in NLP/NLU☆17Jun 4, 2023Updated 3 years ago
- This page has instructions and a python script to help you break GDELT Data away from the Google Big Query Environment☆13Jan 30, 2021Updated 5 years ago
- RDF form provides rendered forms via a form definition provided in RDF turtle format.☆15Mar 7, 2023Updated 3 years ago
- Data pipeline for streaming, processing, and analyzing the GDELT global events dataset.☆11Mar 11, 2017Updated 9 years ago
- Create Robust Links from within Zotero☆22May 10, 2022Updated 4 years ago
- NiFi Bundle for FIX Protocol☆16Jun 29, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- CljPerl is a lisp on Perl.☆20May 15, 2013Updated 13 years ago
- SWI-Prolog WebAssembly build as a NPM package☆65Updated this week
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 6 years ago
- An HTTP client for RDF resources☆16Updated this week
- Java Client Libraries for Solid☆17Oct 6, 2026Updated last week
- A very fast C++17 rules engine☆17May 23, 2017Updated 9 years ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 8 years ago