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

introspector/agave-solana-validator

h4 published a dataset 4 days ago

introspector/agave-solana-validator

h4 new activity 10 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 4 days ago • 48

introspector/MicroLean4

Updated 12 days ago • 166 • 1

introspector/solfunmeme

Updated about 1 month ago • 267

introspector/o1js-clinic

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

introspector/o1js-peformance-results

Updated Oct 1, 2024 • 174

introspector/ocaml-opam-ppxlib-json-ast

Updated Aug 21, 2024 • 3.89k

introspector/mina-snarky-asts

Updated Aug 19, 2024 • 167

introspector/pyprolog-asts-csv

Updated Jul 31, 2024 • 123

introspector/pyprolog-asts

Preview • Updated Jul 27, 2024 • 48

introspector/scheme

Preview • Updated Jul 17, 2024 • 45 • 1