hyperpolymath/PolyglotFormalisms.jl

A Julia reference implementation and conformance-test suite for the Hyperpolymath PolyglotFormalisms common library, used to compare shared operations and semantics across language implementations.

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

话题：computational-science · epistemic-computing · epistemic-infrastructure · equivalence-aware-computing · formal-verification · hyperpolymath · julia · julia-package

在 GitHub 上查看原仓库