Boolean Constraint Solving in Prolog

a pytest plugin that re-runs failed tests up to -n times to eliminate flakey failures

A command-line benchmarking tool

Python interface for SWI-Prolog

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

Tools to scrape publications & their metadata from pubmed, arxiv, medrxiv, biorxiv and chemrxiv.

Python wrapper for the arXiv API

muparser is a fast math parser library for C/C++ with (optional) OpenMP support.

Kolmogorov Arnold Networks

Randomized testing for Prolog à la QuickCheck

Airspeed Velocity: A simple Python benchmarking tool with web-based reporting

C++ Large Scale Genetic Programming

Differentiable probabilistic answer set programming

SymEngine is a fast symbolic manipulation library, written in C++

Python library for creating PEG parsers

🤖 A Python library for learning and evaluating knowledge graph embeddings

upstream mirror

Simple unit testing for C

symbolic regression

Little Ball of Fur - A graph sampling extension library for NetworKit and NetworkX (CIKM 2020)

An efficient compilation based algebraic answer set counter.

High-performance model counter

A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantees on availability.

Weighted to unweighted formula converter

Bibtex parser for Python 3

Time command execution over multiple executions

Normalizing flows in PyTorch

Polynomial-time Meta-Interpretive Learning

An inductive logic programming system