The introspector project

community

https://github.com/meta-introspector/meta-meme/wiki/

meta-introspector

Activity Feed Request to join this org

AI & ML interests

introspection, Compilers, Languages, meaning

introspector 's datasets 64

introspector/meta-coq-template-coq

Updated Feb 12, 2024 • 4

introspector/unimath

Updated Feb 12, 2024 • 872 • 7

introspector/papers

Viewer • Updated Feb 5, 2024 • 4 • 42 • 1

introspector/llama.cpp-0002

Viewer • Updated Nov 17, 2023 • 43 • 7 • 1