coconut
Resolution theorem proving for predicate logic in pure Python.
Black box hyperparameter optimization made easy.
HARMONSMILE is a toolkit for aligns SMILES to the RDKit convention (canonical + isomeric + keculized).
CHAMANP is a modular, extensible, and production-grade system for the curated preparation of molecular databases.
