5 projects
energyir
Structure-preserving, certificate-aware, multi-backend energy compiler for optimization, constraint solving, and ML subproblems.
physlang
Write math, run code. A DSL for mathematical physics.
pbitlang
Domain-specific language for thermodynamic computing Hamiltonians
ecproc
Domain-specific language and toolchain for electrochemical procedures
smartml-auto
Intelligent AutoML that automatically analyzes data, engineers features, and selects the best machine learning models
