introspector/zkprologml
Viewer • Updated • 8.02M • 7
AI & ML interests
introspection, Compilers, Languages, meaning
Recent Activity
View all activity
introspector/llm.txt
Updated • 3
introspector/data-const71
Viewer • Updated • 20 • 4
introspector/data-moonshine
Viewer • Updated • 20 • 11
introspector/meta-meme
Viewer • Updated • 2.18k • 20 • 1
introspector/meta-introspector
Viewer • Updated • 3.66M • 11
introspector/data-eigenvectors
Updated • 4
introspector/data-blockchain
Updated • 3
introspector/build-telemetry
Updated • 3
introspector/git-activity
Preview • Updated • 57
introspector/rust-markov
Updated • 4
introspector/rustc-usage
Updated • 369 • 1
introspector/meta-memes
Updated • 4
introspector/solfunmeme-index
Updated • 4.85k
introspector/rust
Updated • 60 • 8
introspector/rust-analyser
Viewer • Updated • 533k • 55 • 3
introspector/mina-snarky-asts
Updated • 111
introspector/agave-solana-validator
Updated • 12
introspector/MicroLean4
Updated • 52 • 1
introspector/o1js-clinic
Viewer • Updated • 4.64M • 201 • 1
introspector/o1js-peformance-results
Updated • 22
introspector/ocaml-opam-ppxlib-json-ast
Updated • 432
introspector/pyprolog-asts-csv
Updated • 67
introspector/pyprolog-asts
Preview • Updated • 39
introspector/scheme
Preview • Updated • 9 • 1
introspector/guile-bootstrap
Updated • 44 • 1
introspector/llmvwmcts
Viewer • Updated • 130k • 4
introspector/lang_agent
Viewer • Updated • 112 • 17 • 1
introspector/meta-coq-common
Updated • 14
introspector/meta-coq-utils
Updated • 19