hyperpolymath/Axiom.jl

A Julia machine-learning framework with a model DSL, compile-time tensor-shape checks and verification workflows; optional accelerator-backend paths are experimental.

语言：Julia · GitHub 星标：2 · Fork：0

话题：computational-science · epistemic-computing · epistemic-infrastructure · equivalence-aware-computing · hyperpolymath · julia · julia-package · open-source

在 GitHub 上查看原仓库