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
14 days ago
introspector/solfunmeme-index
h4
updated
a dataset
14 days ago
introspector/rust
h4
published
a dataset
14 days ago
introspector/rust
View all activity
Team members
10
introspector
's datasets
22
Sort: Recently updated
introspector/solfunmeme-index
Updated
14 days ago
•
571
introspector/rust
Updated
14 days ago
•
168
introspector/rust-analyser
Viewer
•
Updated
14 days ago
•
533k
•
155
•
2
introspector/mina-snarky-asts
Updated
Jun 12
•
132
introspector/agave-solana-validator
Updated
May 27
•
3
introspector/MicroLean4
Updated
May 19
•
137
•
1
introspector/solfunmeme
Updated
May 1
•
69
introspector/o1js-clinic
Viewer
•
Updated
Oct 17, 2024
•
4.64M
•
488
•
1
introspector/o1js-peformance-results
Updated
Oct 1, 2024
•
34
introspector/ocaml-opam-ppxlib-json-ast
Updated
Aug 21, 2024
•
3.09k
introspector/pyprolog-asts-csv
Updated
Jul 31, 2024
•
285
introspector/pyprolog-asts
Preview
•
Updated
Jul 27, 2024
•
228
introspector/scheme
Preview
•
Updated
Jul 17, 2024
•
65
•
1
introspector/guile-bootstrap
Updated
Jul 6, 2024
•
1.66k
•
1
introspector/llmvwmcts
Viewer
•
Updated
Feb 21, 2024
•
130k
•
2
introspector/lang_agent
Viewer
•
Updated
Feb 19, 2024
•
112
•
91
•
1
introspector/meta-coq-common
Updated
Feb 15, 2024
•
310
introspector/meta-coq-utils
Updated
Feb 13, 2024
•
953
introspector/meta-coq-template-coq
Updated
Feb 12, 2024
•
1
introspector/unimath
Updated
Feb 12, 2024
•
2.33k
•
7
introspector/papers
Viewer
•
Updated
Feb 5, 2024
•
4
•
13
•
1
introspector/llama.cpp-0002
Viewer
•
Updated
Nov 17, 2023
•
43
•
5
•
1