Open-source local-first cognitive memory. AGM-compliant belief revision (49/49 postulates). When a fact changes, downstream beliefs are automatically re-evaluated, not just flagged.

Convex Clustering

Several formulae for calculating a billion digits of Pi in under a an hour, using python and GMPY2

Finite propositional belief sets with AGM revision/contraction, Spohn ranking states, iterated revision, epistemic entrenchment, and IC belief merging.