coconut
Resolution theorem proving for predicate logic in pure Python.
Black box hyperparameter optimization made easy.
CHAMANP is a modular, extensible, and production-grade system for the curated preparation of molecular databases.
