YonedaAI
Popular repositories Loading
-
japl
japl PublicA typed actor language for building reliable distributed systems and AI agents. Compiles to WASM, runs on a Rust runtime with real processes, supervision, and LLM effects.
TeX
-
minimal-runtime-axiom
minimal-runtime-axiom PublicThe Minimal Runtime Axiom: Runtime is proof of ignorance. A type-theoretic and category-theoretic formalization.
TeX
-
yoneda-constraint
yoneda-constraint PublicThe Yoneda Constraint as a universal axiom: unifying Godel, the measurement problem, compiler bootstrap, and AI alignment under one categorical principle.
TeX
-
PosTree
PosTree PublicGenerate social media posts from source content, publish to 33+ platforms via Postiz
TypeScript
-
-
dna-lang
dna-lang PublicDNA-Lang: A typed programming language for biological systems. 8 research papers + Haskell implementations mapping DNA sequence categories to programming language constructs.
HTML
Repositories
- topological-phases-of-matter Public
Six-paper research program: topological phases of matter in a condensed-mathematics paradigm — condensed moduli stacks of Hamiltonians, uniform spectral gaps, solid K-theory, bordism realizability; with Haskell verification suites and a sorry-free Lean 4 library.
YonedaAI/topological-phases-of-matter’s past year of commit activity - topological-phases-of-matter-chatgpt Public
Six-paper research program on topological phases in condensed mathematics, with reviewed PDFs, Haskell checks, Lean interfaces, and a static research site.
YonedaAI/topological-phases-of-matter-chatgpt’s past year of commit activity - claude-skills Public
Claude Code plugins and skills marketplace — research-agent pipeline with multi-agent orchestration, Gemini peer review, Haskell verification, and Vercel deployment
YonedaAI/claude-skills’s past year of commit activity - condensed-representation-theory-of-physics Public
Toward a Condensed Representation Theory of Physics — a modular 7-part series on condensed mathematics, representation theory, and emergent spacetime (LaTeX + Haskell + Lean + Next.js).
YonedaAI/condensed-representation-theory-of-physics’s past year of commit activity - math-qg-representation-library Public
Quantum gravity as reconstruction from invariant representation structures — 12 regime papers + synthesis, with Haskell + Lean verification
YonedaAI/math-qg-representation-library’s past year of commit activity - mathematics-physical-representation Public
A modular research library reading a Goncharov-style Lie coalgebra as the decomposition law of physical observables: five peer-reviewed, formally-verified (Haskell + Lean 4) papers plus a synthesis. Live: https://mathematics-physical-representation.vercel.app
YonedaAI/mathematics-physical-representation’s past year of commit activity - math-phy-library Public
A Math->Physics Representation Library: six formally-verified papers + a modular synthesis (LaTeX, Haskell/Lean verification, agy+Codex review, Next.js site).
YonedaAI/math-phy-library’s past year of commit activity - hott-riemann-hypothesis-vol6 Public
A Lean 4 reduction of the Riemann Hypothesis via Yoneda detection and Hardy model spaces. Volume VI.
YonedaAI/hott-riemann-hypothesis-vol6’s past year of commit activity - hott-riemann-hypothesis-vol5 Public
Using homotopy type theory and condensed mathematics to attack the Riemann Hypothesis with machine-checked formal proof. Final volume of a five-part programme. RH formally reduced to two named open problems, proven equivalent inside the condensed (∞,1)-topos. 239 verified Lean theorems, zero invalid.
YonedaAI/hott-riemann-hypothesis-vol5’s past year of commit activity - hott-riemann-hypothesis-vol4 Public
Volume IV — From formulation to formal proof: actually proving the OQ1, OQ3, OQ5 theorems via Lean 4 + Cubical Agda + rzk + Haskell. 62 valid / 0 invalid / 29 incomplete machine-checked theorems verified by Codex gpt-5.5 xhigh.
YonedaAI/hott-riemann-hypothesis-vol4’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…