samwalrus

The-Oracle-of-Zotero

LLM Chain querying a scientific Zotero library, with citations

dockeronto

Ontology about docker

prolog2gpt

SWI Prolog library to interface to the GPT API

ontogpt

LLM-based ontological extraction tools, including SPIRES

NeuraLogic

Deep relational learning through differentiable logic programming.

semantic-llama

A knowledge extraction tool that uses a large language model to extract semantic information from text

schema-automator

Automated assistance for the schema development lifecycle

PythonPengines

A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!

probiotic

A simple preprocessor for evoldoers/biomake. Works around lack of support for target-scoped variables.

linkml-project-cookiecutter

A cookiecutter for linkml projects. An equivalent of `linkml-ws new project-name`.

linkml

Linked Open Data Modeling Language

EFO-UKB-mappings

pyobo

📛 A Python package for using ontologies, terminologies, and biomedical nomenclatures

prolexa

Amazon Alexa and Prolog

SHAP_FOLD

(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining

gtc2vcf

Tools to convert Illumina IDAT/BPM/EGT/GTC and Affymetrix CEL/CHP files to VCF

sCASP

top-down interpreter for ASP programs with constraints

louise

Polynomial-time Meta-Interpretive Learning

prolog_puzzles

Prolog puzzles for fun and profit (mostly fun)

ctp

Conditional Theorem Proving

org-html-themes

Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design

css_write

Prolog DCG for generating CSS

logician

🖖 Prolog-style Logic Programming in pure R

swipl-webapp-howto

Some simple examples of how to use SWI Prolog as a webserver

arxiv-latex-cleaner

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

kg-covid-19

An instance of KG Hub to produce a knowledge graph for COVID-19 response.

moosefun

a repo full of random useful functions for myself and colleagues

swish_cytoscape_js

SWISH graph rendering by means of cytoscape_js

ToyFHE.jl

Toy implementation of FHE algorithms

sparqlprog

logic programming with SPARQL