#

systemet

Here is 1 public repository matching this topic...

hyperpolymath / anytype

Pick the algebra, get the discipline...and still have totality

programming-language open-source engine language-design nickel discipline research-software hyperpolymath affinescript epistemic-infrastructure epistemic-computing equality-theory graded-algebra systemet totality-checking veridical-computing equivalence-aware-computing typed-provenance

Updated Sep 19, 2026
Nickel

Add this topic to your repo

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