Open source projects 1 subscribe: Atom · RSS (this filter)
Starting a project? Describe it first: the closest existing projects, by meaning, so nobody builds the same thing twice.
-
Codegaea/morphos github
A persistent probabilistic categorical reasoning engine. Knowledge as enriched categories, analogy as functor search, belief revision on a Heyting algebra, knowledge topology via persistent homology. 190 tests passing.