introspector/zkprologml
Viewer • Updated • 8.02M • 4
AI & ML interests
introspection, Compilers, Languages, meaning
Recent Activity
View all activity
introspector/llm.txt
Updated • 2
introspector/data-const71
Viewer • Updated • 20 • 6
introspector/data-moonshine
Viewer • Updated • 20 • 6
introspector/meta-meme
Viewer • Updated • 2.18k • 40 • 1
introspector/meta-introspector
Viewer • Updated • 3.66M • 25
introspector/data-eigenvectors
Updated • 4
introspector/data-blockchain
Updated • 2
introspector/build-telemetry
Updated • 2
introspector/git-activity
Preview • Updated • 46
introspector/rust-markov
Updated • 2
introspector/rustc-usage
Updated • 29 • 1
introspector/meta-memes
Updated • 3
introspector/solfunmeme-index
Updated • 307
introspector/rust
Updated • 139 • 8
introspector/rust-analyser
Viewer • Updated • 533k • 38 • 3
introspector/mina-snarky-asts
Updated • 39
introspector/agave-solana-validator
Updated • 3
introspector/MicroLean4
Updated • 30 • 1
introspector/o1js-clinic
Viewer • Updated • 4.64M • 405 • 1
introspector/o1js-peformance-results
Updated • 71
introspector/ocaml-opam-ppxlib-json-ast
Updated • 665
introspector/pyprolog-asts-csv
Updated • 57
introspector/pyprolog-asts
Preview • Updated • 941
introspector/scheme
Preview • Updated • 18 • 1
introspector/guile-bootstrap
Updated • 110 • 1
introspector/llmvwmcts
Viewer • Updated • 130k • 3
introspector/lang_agent
Viewer • Updated • 112 • 68 • 1
introspector/meta-coq-common
Updated • 26
introspector/meta-coq-utils
Updated • 31