A library to work with formal (and pattern) contexts, concepts, lattices
Python module with Program Synthesis Techniques for NLP
FCA lazy classifier
