introspector/mina-snarky-asts download history

introspector/mina-snarky-asts is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 208 times (33 in the last 7 days), and 7,396 times in total. It ranks #65,461 among datasets by monthly downloads.

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

Open introspector/mina-snarky-asts on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.