#

isu-notation

Here are 2 public repositories matching this topic...

hyperpolymath / anvomidav

The first programming language for choreographers of figure skating

programming-language rust open-source reproducible-research type-theory language-design figure-skating research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance choreographic-interaction isu-notation

Updated Sep 19, 2026
Just

hyperpolymath / anvomidaviser

Convert ISU notation to formal figure skating programs via Anvomidav

rust open-source code-generation figure-skating research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification choreographic-interaction isu-notation

Updated Sep 20, 2026
Rust

Add this topic to your repo

To associate your repository with the isu-notation topic, visit your repo's landing page and select "manage topics."