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

Recent Activity

h4 updated a dataset 8 days ago

introspector/solfunmeme-index

h4 updated a dataset 8 days ago

introspector/rust

h4 published a dataset 8 days ago

introspector/rust

View all activity

introspector 's datasets 22

introspector/solfunmeme-index

Updated 8 days ago • 527

introspector/rust

Updated 8 days ago • 92

introspector/rust-analyser

Viewer • Updated 8 days ago • 533k • 119 • 2

introspector/mina-snarky-asts

Updated Jun 12 • 120

introspector/agave-solana-validator

Updated May 27 • 4

introspector/MicroLean4

Updated May 19 • 124 • 1

introspector/solfunmeme

Updated May 1 • 73

introspector/o1js-clinic

Viewer • Updated Oct 17, 2024 • 4.64M • 506 • 1

introspector/o1js-peformance-results

Updated Oct 1, 2024 • 35

introspector/ocaml-opam-ppxlib-json-ast

Updated Aug 21, 2024 • 2.84k

introspector/pyprolog-asts-csv

Updated Jul 31, 2024 • 284

introspector/pyprolog-asts

Preview • Updated Jul 27, 2024 • 226

introspector/scheme

Preview • Updated Jul 17, 2024 • 64 • 1

introspector/guile-bootstrap

Updated Jul 6, 2024 • 1.64k • 1

introspector/llmvwmcts

Viewer • Updated Feb 21, 2024 • 130k • 3

introspector/lang_agent

Viewer • Updated Feb 19, 2024 • 112 • 81 • 1

introspector/meta-coq-common

Updated Feb 15, 2024 • 325

introspector/meta-coq-utils

Updated Feb 13, 2024 • 941

introspector/meta-coq-template-coq

Updated Feb 12, 2024 • 1

introspector/unimath

Updated Feb 12, 2024 • 2.42k • 7

introspector/papers

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

introspector/llama.cpp-0002

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