{"owner":"forkjoin-ai","name":"aeon-waves","fullName":"forkjoin-ai/aeon-waves","source":"hybrid","description":"","avatarUrl":"https://avatars.githubusercontent.com/u/86985?v=4","ownerBio":"The beauty is knowing when to fold.","visibility":"public","defaultBranch":"main","primaryLanguage":"TypeScript","languages":[],"stars":0,"forks":0,"openIssues":0,"lastPushedAt":1775319565000,"freshnessTimestamp":1780534522077,"lastUpdatedAt":1774747889051,"readmeExcerpt":"Aeon Waves String Theory Correspondence runtime for the Gnosis formal surface. Programs are strings. Crossings are tangles. Beta1 is worldsheet genus. Module boundaries are D branes. From Lean to TypeScript This package bridges StringTheoryCorrespondence.lean theorems to executa...","scanRollup":null,"delivery":null,"org":null,"nexus":null,"team":{"collaboratorCount":1,"collaborators":[{"repoId":"23452e23-b9ad-473c-a18f-f7b7e1ed98d7","userId":"94624c37-2752-40a1-a9e1-4acf3b8f94ba","did":"did:aeon:root:3655f7bedf87150afc4b7358057e20d8","displayName":"buley","role":"admin"}]},"links":{"pageUrl":"https://forgo.cloud/forkjoin-ai/aeon-waves","ideUrl":"https://forgo.cloud/ide/forkjoin-ai/aeon-waves","scanUrl":"https://mudras.us/repo/forkjoin-ai/aeon-waves","cloneUrl":"https://forgo.cloud/forkjoin-ai/aeon-waves","importUrl":"https://forgo.cloud/login?import=forkjoin-ai%2Faeon-waves","preferredSync":"dashrelay-v1","syncCapabilities":{"supported":["dashrelay-v1","git-smart-http"],"preferred":"dashrelay-v1","cloneUrl":"https://forgo.cloud/forkjoin-ai/aeon-waves","relayUrl":"https://forgo.cloud/forkjoin-ai/aeon-waves","roomName":"forgo-repo:forkjoin-ai:aeon-waves"},"preferredTransport":"bitwise-syzygy","transportCapabilities":{"supported":["identity","bitwise-syzygy"],"preferred":"bitwise-syzygy","minimumPayloadBytes":1024,"cloneUrl":"https://forgo.cloud/forkjoin-ai/aeon-waves"},"mirrorUrl":"https://forgo.cloud/forkjoin-ai/aeon-waves","upstreamUrl":"https://forgo.cloud/forkjoin-ai/aeon-waves"}}