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:
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated 2 months ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated 6 months ago
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 3 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- AtomSpace Graph Database RocksDB backend☆16Updated 2 months ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 5 months ago
- Next-generation end-to-end low code language based on Petri nets.☆17Updated 3 months ago
- Sharable Grakn knowledge graphs☆13Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆35Updated 2 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- formal tools for BPMN☆35Updated last year
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 3 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆21Updated this week
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated last week
- microKanren implementation from DLS '16☆14Updated 7 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆12Updated 7 years ago
- A JavaScript-based interface for graph traversal☆18Updated 2 years ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last year
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 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
- Java-based lightweight Prolog virtual machine☆34Updated 11 months ago
- Advanced Scripting IDE for JVM based languages.☆28Updated 3 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated last year
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆11Updated 4 years 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
- Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool☆19Updated 2 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated 4 months ago