hyperpolymath/julia-ecosystem

Julia package ecosystem: 34 packages spanning formal verification, cryptography, risk analysis, knot theory, cliodynamics, hardware introspection, and more

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

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

在 GitHub 上查看原仓库