🙋♀️ 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 2421 repositories
- kant-zk-pastebin Public
meta-introspector/kant-zk-pastebin’s past year of commit activity - system-manager Public Forked from numtide/system-manager
Manage system config using nix on any distro
meta-introspector/system-manager’s past year of commit activity - rust-overlay Public Forked from oxalica/rust-overlay
Pure and reproducible nix overlay of binary distributed rust toolchains
meta-introspector/rust-overlay’s past year of commit activity - gcan Public Forked from applicative-systems/gcan
gcan — see what's eating your Nix store, and reclaim it
meta-introspector/gcan’s past year of commit activity - lean-split-tool Public
Split up lean4 mathlib into a lattice of nix flakes for functional composition
meta-introspector/lean-split-tool’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…