🙋♀️ 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 2524 repositories
- dasl-test-case-feed Public
DASL DAG-CBOR test-case feed: content-addressed vectors + spec + Lean proofs + per-impl verdicts. Deployable to Vercel/GitHub Pages.
- TauCeti Public Forked from TauCetiProject/TauCeti
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
- gq2-lean Public Forked from roed-math/gq2-lean
AI assisted lean proof of an explicit presentation for the absolute Galois group of Q2.
- fast-vfx-c Public Forked from lee101/fast-vfx-c
Native C/CUDA Cog video effects with NVDEC, zero-host-frame processing, and NVENC
Top languages
Loading…
Most used topics
Loading…