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
- gravity-and-information-geometry Public
Eight-paper research program on when Einstein gravity is the leading infrared consistency law of reconstructed quantum information geometry, with Lean, Haskell, and MathML readers.
- hott-riemann-hypothesis-vol6 Public
A Lean 4 reduction of the Riemann Hypothesis via Yoneda detection and Hardy model spaces. Volume VI.
- foundational-reformulation Public
A categorical-condensed reconstruction program for geometry, quantum theory, and kinetic theory
- joule-standard Public
A ten-paper research program and open reference implementation for measuring economically realized work, intelligence, and settlement assurance per joule.
- 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.
- 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.
- claude-skills Public
Claude Code plugins and skills marketplace — research-agent pipeline with multi-agent orchestration, Gemini peer review, Haskell verification, and Vercel deployment
- 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).
- math-qg-representation-library Public
Quantum gravity as reconstruction from invariant representation structures — 12 regime papers + synthesis, with Haskell + Lean verification
- 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
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…