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. meta-meme Public

    Forked from jmikedupont2/meta-meme

    The meta meme

    Haskell 13 2

  2. lang_agent Public

    ocaml cli and lib tools for talking to (ollama|llama.cpp|openai|...) for a lang-chain like experience

    Coq 9 2

  3. time Public

    The timeline, add yourself to it.

    TeX 5 3

  4. cloud-deployment-eliza Public

    Forked from elizaOS/eliza

    Cloud deployment of : Eliza Autonomous agents for everyone

    TypeScript 7 5

  5. introspector-llc Public

    The First AI Dao Swarm LLC

    3 1

Repositories

Showing 10 of 548 repositories
  • cloud-deployment-eliza Public Forked from elizaOS/eliza

    Cloud deployment of : Eliza Autonomous agents for everyone

    TypeScript 7 MIT 5,152 33 35 Updated Apr 20, 2025
  • SolanaExamples Public Forked from Certora/SolanaExamples

    Examples of Solana applications verification with the Certora Prover

    Rust 0 1 0 0 Updated Apr 19, 2025
  • th-desugar Public Forked from goldfirere/th-desugar

    Desugars Template Haskell abstract syntax to a simpler format without changing semantics

    Haskell 1 BSD-3-Clause 14 0 0 Updated Apr 18, 2025
  • drizzle-dbml-generator Public Forked from L-Mario564/drizzle-dbml-generator

    Generate DBML markup from your schema defined with Drizzle ORM.

    TypeScript 1 MIT 10 0 0 Updated Apr 15, 2025
  • meta-meme Public Forked from jmikedupont2/meta-meme

    The meta meme

    Haskell 13 MIT 3 173 7 Updated Apr 12, 2025
  • HTML 0 AGPL-3.0 0 0 1 Updated Apr 11, 2025
  • Shell 2 AGPL-3.0 0 16 0 Updated Apr 9, 2025
  • CertoraProver Public Forked from Certora/CertoraProver

    The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

    Kotlin 0 GPL-3.0 17 0 0 Updated Apr 8, 2025
  • maxGraph-ts-zos Public Forked from maxGraph/maxGraph

    maxGraph is a fully client side JavaScript diagramming library

    TypeScript 0 Apache-2.0 2,126 0 0 Updated Apr 1, 2025
  • chat-dl-zos Public Forked from daohoangson/chat-dl

    A command-line tool to download and convert AI chat conversations to markdown format.

    TypeScript 0 MIT 1 0 0 Updated Mar 31, 2025

Top languages

Loading…

Most used topics

Loading…