BFergerson / Arthur
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
- Sharable Grakn knowledge graphs☆13Updated 2 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 3 months ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆18Updated 3 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years 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
- Java <-> XSB Prolog bridge library☆12Updated 4 years ago
- Java-based lightweight Prolog virtual machine☆34Updated 8 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 3 weeks ago
- Resumable exceptions and delimited continuations for JVM☆40Updated last week
- Decision Model & Notation in Markdown table format☆22Updated last year
- How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)☆11Updated 2 years ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆37Updated 4 years ago
- formal tools for BPMN☆35Updated 11 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆17Updated this week
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated last month
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 9 months ago
- Whole Platform Language Workbench☆27Updated 10 months ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- A JavaScript-based interface for graph traversal☆18Updated last year
- A collection of resources to dive into making OSLC applications☆16Updated 4 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 10 months ago
- The SNePS 2 Knowledge Representation and Reasoning System☆11Updated 6 years ago
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- 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
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆30Updated 2 months ago
- microKanren implementation from DLS '16☆14Updated 6 years ago
- Next-generation end-to-end low code language based on Petri nets.☆17Updated 2 weeks ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆11Updated 4 years ago