BFergerson / ArthurLinks
Semantic language-agnostic source code schema
☆16Updated last year
Alternatives and similar repositories for Arthur
Users that are interested in Arthur are comparing it to the libraries listed below
Sorting:
- Sharable Grakn knowledge graphs☆13Updated 2 years ago
- Decision Model & Notation in Markdown table format☆23Updated 2 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 4 months ago
- A JavaScript-based interface for graph traversal☆18Updated 2 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆21Updated last week
- Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool☆19Updated 2 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Whole Platform Language Workbench☆27Updated last year
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 3 months ago
- The SNePS 2 Knowledge Representation and Reasoning System☆12Updated 6 years ago
- The Ops5 programming language for production systems☆38Updated 5 years ago
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- Distributed AtomSpace Network Server☆21Updated 2 months ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated 5 months ago
- Level-up your Hypothesis tests with CrossHair☆12Updated last week
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last week
- An Editor with Generic Semantics for Formal Reasoning About Visual Notations☆19Updated 4 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- AtomSpace Graph Database RocksDB backend☆16Updated 2 months ago
- Leibniz - a Digital Scientific Notation☆34Updated last month
- Resolve software differencing and merging☆37Updated 2 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆11Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆37Updated 4 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated last year
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 7 years ago
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆10Updated 4 years ago
- Emacs client for Semantic Synchrony knowledge graphs☆12Updated last year