🙋♀️ 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 307 repositories
- o1js-performance-tools Public Forked from o1-labs/o1js
Performance tuning tools for o1js, the TypeScript framework for zk-SNARKs and zkApps. Github actions to run docker containers with linux perf recordings of o1js jest tests. Also runs locally.
meta-introspector/o1js-performance-tools’s past year of commit activity - docker-bpgpr Public Forked from zvfvrv/docker-bpgpr
GitHub Action - Builds and pushes Docker images to GitHub Package Registry
meta-introspector/docker-bpgpr’s past year of commit activity - deploy-pages Public Forked from actions/deploy-pages
GitHub Action to publish artifacts to GitHub Pages for deployments
meta-introspector/deploy-pages’s past year of commit activity - upload-pages-artifact Public Forked from actions/upload-pages-artifact
A composite action for packaging and uploading an artifact that can be deployed to GitHub Pages.
meta-introspector/upload-pages-artifact’s past year of commit activity - mina-snarky-o1js-zkapp-introspector Public
zkIntrospector: A Self-Aware zkApp Framework for Gödel Number Reflection
meta-introspector/mina-snarky-o1js-zkapp-introspector’s past year of commit activity - configure-pages Public Forked from actions/configure-pages
An action to enable Pages and extract various metadata about a site. It can also be used to configure various static site generators we support as starter workflows.
meta-introspector/configure-pages’s past year of commit activity
