clausal-acl2

Last released Oct 7, 2026

ACL2 theorem prover predicates for Clausal, through the ACL2 Bridge

clausal-decide

Last released Oct 7, 2026

Calibrated decisions as relations for Clausal: choice, yes/no and score answers about a text, from laya or TypeSafe's Jev

clausal-opencv

Last released Oct 7, 2026

OpenCV (cv2) predicates for Clausal

clausal-sympy

Last released Oct 7, 2026

SymPy predicates for Clausal (symbolic math wrapper)

clausal-jax

Last released Oct 7, 2026

JAX predicates for Clausal (array, PRNG, transforms, sharding, scipy)

clausal-spacy

Last released Oct 7, 2026

spaCy NLP predicates for Clausal

clausal-yaml

Last released Oct 7, 2026

YAML predicates for Clausal (PyYAML wrapper)

clausal-torch

Last released Oct 7, 2026

PyTorch predicates for Clausal (torch wrapper)

clausal-sklearn

Last released Oct 7, 2026

scikit-learn predicates for Clausal (machine learning wrappers)

clausal-scipy

Last released Oct 7, 2026

SciPy predicates for Clausal (scientific computing wrappers)

clausal

Last released Oct 6, 2026

Prolog in Python for neurosymbolic AI: an ISO-directed, cut-free Prolog that runs inside the Python process

class_extension

Last released May 12, 2018

Allows classes to be extended

django-classfield

Last released Sep 19, 2016

Adds a class field to django

django-signalmethods

Last released Oct 13, 2015

Allows django signals to be used as methods