🙋♀️ The meta introspector is a continuation of a long term research project that started with the idea of using the gcc compiler to extract knowledge about your code as it is being compiled. It has morphed into a meta meme. Currently we are working on zero knowledge proofs of introspection, self modifying build systems, and using grants and tokens to implement win win partnerships with other projects.
meta-introspector
Pinned Loading
Repositories
Showing 10 of 3280 repositories
- xark Public Forked from blueshift-gg/xark
Zero-knowledge circuits in plain Rust, verified on Solana.
- emissary-archangel Public Forked from competemath/emissary-archangel
Translates verified Lean theorems into the Tengoku tree: Leak IV compile gate + Archangel kernel-checked entailment gate, banked as staging, trusted once the module builds
- Nielsen-and-Semita-Riemann-Proof-in-Lean4 Public Forked from startigerjln/Nielsen-and-Semita-Riemann-Proof-in-Lean4
Proof of the Riemann Hypothesis in Lean4
- Birkhoff-Problem Public Forked from kevin-schlegel/Birkhoff-Problem
Lean verification of computations.
- info-geometry-lean Public Forked from nickgou-nuke/info-geometry-lean
Lean 4 (v4.34.1 / Mathlib) formalization of noncommutative information geometry, Peirce-Weyl units, Drazin-Moore-Penrose spectral splittings, Jordan-Lie operator algebras, and categorical inductive colimits.
Top languages
Loading…
Most used topics
Loading…