🙋♀️ 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 2417 repositories
- 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 - 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 - agentsview Public Forked from kenn-io/agentsview
Local-first session intelligence and analytics for coding agents, supporting Claude Code, Codex, and more than 20 other agents. Also: 100x faster replacement for ccusage!
meta-introspector/agentsview’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…