introspector/mina-snarky-asts
steps to run json dump of all the mina this includes the compiled code as well. you will find that in the _build directory there are a few copies here, more work is needed. cd mina/ find -name *.ml -exec ~/2024/08/12/dune/_build/default/.ppx/1977eb4d6c4f6ad3b912f65add506a08/ppx.exe {} > /dev/null ; find -name *.str > files.txt tar -cf json.tar -T files.txt mkdir ~/2023/12/28/ppxlib/ocaml-opam-ppxlib-json-ast/mina cd ~/2023/12/28/ppxlib/ocaml-opam-ppxlib-json-ast/mina git lfs track… See the full description on the dataset page: https://huggingface.co/datasets/introspector/mina-snarky-asts.
| Author / organization | introspector |
|---|---|
| License (as declared) | mit |
| Downloads | 183 (as reported by Hugging Face) |
| Likes | 0 |
| Created | 17 August 2024 |
| Last updated at source | 12 June 2025 |
Popularity, last 2 days
183 now (+27 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
More from introspector
- introspector/ocaml-opam-ppxlib-json-astDataset
- introspector/solfunmemeDataset
- introspector/unimathDataset
- introspector/meta-coq-utilsDataset
- introspector/retro-syncDataset
- introspector/o1js-clinicDataset
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.