H

hpc

🔧🔗https://github.com/pipefunc/pipefunc Lightweight fast function pipeline (DAG) creation in pure Python for scientific workflows 🕸️🧪

🔧🔗https://github.com/xamidi/pmGenerator

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.