Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.

C++ 11,14,17+ compatible dynamic_bitset library

Optimizing multi-attribute filtering for Approximate Nearest Neighbor (ANN) search using HNSW. This project integrates bitsets and Roaring Bitmaps into HNSWLib to accelerate query performance by reducing evaluation costs for large attribute datasets.

A wrapper that allows arithmetic operations for stdlib_bitsets.

Prototypical tools to handle musical data & CLI programs invokable through bash scripts to completely enumerate a variety of mathematical objects.