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

h4 published a dataset 10 days ago

introspector/solfunmeme

h4 updated a dataset about 1 year ago

introspector/meta-coq-template-coq

View all activity

Organization Card

Community About org cards

Edit this README.md markdown file to author your organization card.

spaces 3

Introspector React App

Introspector react app

Static Html

Display html

Streamlit Docker Template

Display interactive data apps

models 0

None public yet

datasets 17

introspector/solfunmeme

Updated 8 days ago • 217

introspector/o1js-clinic

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

introspector/o1js-peformance-results

Updated Oct 1, 2024 • 193

introspector/ocaml-opam-ppxlib-json-ast

Updated Aug 21, 2024 • 672

introspector/mina-snarky-asts

Updated Aug 19, 2024 • 58

introspector/pyprolog-asts-csv

Updated Jul 31, 2024 • 175

introspector/pyprolog-asts

Preview • Updated Jul 27, 2024 • 47

introspector/scheme

Preview • Updated Jul 17, 2024 • 30 • 1

introspector/guile-bootstrap

Updated Jul 6, 2024 • 1.14k • 1

introspector/llmvwmcts

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