#

choreographic-interaction

Here are 4 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 / tangle

Tangle — topological programming language

programming-language rust open-source reproducible-research ocaml type-theory language-design knot-theory research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance choreographic-interaction topological-programming

Updated Sep 18, 2026
OCaml

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

hyperpolymath / krl

KRL (pronounced 'curl') - Knot Resolution Language, a standalone DSL for knot/tangle construction, transformation, resolution, and retrieval

programming-language open-source database julia construct tangle language-design knot-theory database-language research-software formal-language quandle hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing choreographic-interaction topological-programming

Updated Sep 20, 2026
Just

Add this topic to your repo

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