Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
The introspector project
community
https://github.com/meta-introspector/meta-meme/wiki/
introsp3ctor
meta-introspector
Activity Feed
Request to join this org
Follow
14
AI & ML interests
introspection, Compilers, Languages, meaning
Recent Activity
h4
updated
a dataset
18 days ago
introspector/solfunmeme-index
h4
updated
a dataset
18 days ago
introspector/rust
h4
published
a dataset
18 days ago
introspector/rust
View all activity
Team members
10
introspector
's datasets
22
Sort: Recently updated
introspector/solfunmeme-index
Updated
18 days ago
•
573
introspector/rust
Updated
18 days ago
•
182
introspector/rust-analyser
Viewer
•
Updated
18 days ago
•
533k
•
180
•
2
introspector/mina-snarky-asts
Updated
Jun 12
•
132
introspector/agave-solana-validator
Updated
May 27
•
3
introspector/MicroLean4
Updated
May 19
•
142
•
1
introspector/solfunmeme
Updated
May 1
•
80
introspector/o1js-clinic
Viewer
•
Updated
Oct 17, 2024
•
4.64M
•
458
•
1
introspector/o1js-peformance-results
Updated
Oct 1, 2024
•
31
introspector/ocaml-opam-ppxlib-json-ast
Updated
Aug 21, 2024
•
3.03k
introspector/pyprolog-asts-csv
Updated
Jul 31, 2024
•
284
introspector/pyprolog-asts
Preview
•
Updated
Jul 27, 2024
•
217
introspector/scheme
Preview
•
Updated
Jul 17, 2024
•
64
•
1
introspector/guile-bootstrap
Updated
Jul 6, 2024
•
1.69k
•
1
introspector/llmvwmcts
Viewer
•
Updated
Feb 21, 2024
•
130k
•
2
introspector/lang_agent
Viewer
•
Updated
Feb 19, 2024
•
112
•
88
•
1
introspector/meta-coq-common
Updated
Feb 15, 2024
•
265
introspector/meta-coq-utils
Updated
Feb 13, 2024
•
918
introspector/meta-coq-template-coq
Updated
Feb 12, 2024
•
1
introspector/unimath
Updated
Feb 12, 2024
•
1.79k
•
7
introspector/papers
Viewer
•
Updated
Feb 5, 2024
•
4
•
13
•
1
introspector/llama.cpp-0002
Viewer
•
Updated
Nov 17, 2023
•
43
•
5
•
1