🙋♀️ 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 548 repositories
- cloud-deployment-eliza Public Forked from elizaOS/eliza
Cloud deployment of : Eliza Autonomous agents for everyone
- SolanaExamples Public Forked from Certora/SolanaExamples
Examples of Solana applications verification with the Certora Prover
- th-desugar Public Forked from goldfirere/th-desugar
Desugars Template Haskell abstract syntax to a simpler format without changing semantics
- drizzle-dbml-generator Public Forked from L-Mario564/drizzle-dbml-generator
Generate DBML markup from your schema defined with Drizzle ORM.
- modelio-solfunmeme Public
- quasi-meta-meme Public
- CertoraProver Public Forked from Certora/CertoraProver
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
- maxGraph-ts-zos Public Forked from maxGraph/maxGraph
maxGraph is a fully client side JavaScript diagramming library
- chat-dl-zos Public Forked from daohoangson/chat-dl
A command-line tool to download and convert AI chat conversations to markdown format.