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