#

topological-programming

Here are 2 public repositories matching this topic...

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 / 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 topological-programming topic, visit your repo's landing page and select "manage topics."