7 projects
energyir
Structure-preserving, certificate-aware, multi-backend energy compiler for optimization, constraint solving, and ML subproblems.
energyir-native
Rust-backed native module for EnergyIR (energyir._native).
pbitlang
The language of thermodynamic computing: author energies as Hamiltonians and denoising processes, compile to ThermoIR, and run certified on simulators or the Thermo Bridge. Multi-dialect (Ising core + categorical/token diffusion), with exact-sampling proofs and replay certificates.
thermoc-erasure
ThermoC `erasure`: reversibility analysis, Landauer erased-bit accounting, Bennett scheduling, and adiabatic execution planning for computation graphs
physlang
Write math, run code. A DSL for mathematical physics.
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
