🙋♀️ 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 2617 repositories
- exsecutor Public Forked from ALH477/exsecutor
A systems language in which locale and target are capabilities, never ambient state; and its compiler, written in freestanding x86-64 assembly with a closed syscall allowlist.
- terraform-provider-oci Public Forked from oracle/terraform-provider-oci
Terraform Oracle Cloud Infrastructure provider
- shellscan Public Forked from kinaar8340/shellscan
Model visualization: inverse-Hopf scan / pixel as a local plane-cut. Not a generic renderer and not a proof of OP1–OP6.
- crane-rocq Public Forked from bloomberg/crane
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
Top languages
Loading…
Most used topics
Loading…
