Skip to content
@meta-introspector

meta-introspector

Hi there 👋

🙋‍♀️ 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.

Pinned Loading

  1. aristotle-cli-rs aristotle-cli-rs Public

    aristotle.harmonic.fun cli in rust

    Rust 6 3

  2. aok aok Public

    Arguments of knowledge

    Lean 7

  3. lean-worker lean-worker Public

    a lean mean worker in lean mean lean

    Lean 5 2

  4. kant-zk-pastebin kant-zk-pastebin Public

    JavaScript 3 2

  5. lean-workers-union lean-workers-union Public

    A registry and coordination layer for Lean workers and Choir members, enabling role-based membership and formal verification of agent state.

    Lean 3 2

  6. solfunmeme solfunmeme Public

    The $SOLFUNMEME $ZOST Official Website

    TypeScript 4 6

Repositories

Showing 10 of 2799 repositories

Top languages

Loading…

Most used topics

Loading…