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 3 days ago

introspector/agave-solana-validator

h4 published a dataset 3 days ago

introspector/agave-solana-validator

h4 new activity 9 days ago

introspector/MicroLean4:smalltalk

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 19

introspector/agave-solana-validator

Updated 3 days ago • 44

introspector/MicroLean4

Updated 11 days ago • 150 • 1

introspector/solfunmeme

Updated 29 days ago • 277

introspector/o1js-clinic

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

introspector/o1js-peformance-results

Updated Oct 1, 2024 • 165

introspector/ocaml-opam-ppxlib-json-ast

Updated Aug 21, 2024 • 3.74k

introspector/mina-snarky-asts

Updated Aug 19, 2024 • 148

introspector/pyprolog-asts-csv

Updated Jul 31, 2024 • 126

introspector/pyprolog-asts

Preview • Updated Jul 27, 2024 • 49

introspector/scheme

Preview • Updated Jul 17, 2024 • 45 • 1