verify-ppt/marin-starcoderdata_clojure
Updated • 769
Verify PPT
community
AI & ML interests
None defined yet.
Recent Activity
View all activity
verify-ppt/marin-starcoderdata_c
Updated • 46
verify-ppt/marin-starcoderdata_c-sharp
Updated • 1.19k
verify-ppt/marin-starcoderdata_bluespec
Updated • 21
verify-ppt/marin-starcoderdata_batchfile
Updated • 61
verify-ppt/marin-starcoderdata_awk
Updated • 54
verify-ppt/marin-starcoderdata_augeas
Updated • 8
verify-ppt/marin-starcoderdata_assembly
Updated • 48
verify-ppt/marin-starcoderdata_applescript
Updated • 43
verify-ppt/marin-starcoderdata_antlr
Updated • 20
verify-ppt/marin-starcoderdata_alloy
Updated • 9
verify-ppt/marin-starcoderdata_agda
Updated • 16
verify-ppt/marin-starcoderdata_ada
Updated • 40
verify-ppt/marin-proof-pile-algebraic-stack
Updated • 8
verify-ppt/marin-proof-pile-open-web-math
Updated • 8
verify-ppt/marin-proof-pile-arxiv
Updated • 11
verify-ppt/marin-dclm_marin
Updated • 5
verify-ppt/ppt-shuff_dyck
Updated • 28
verify-ppt/olmo3-dolma3_mix
Updated • 6
verify-ppt/c4-c4
Updated • 10
verify-ppt/smollm3-stack-v2-JavaScript
Updated • 5
verify-ppt/smollm3-dclm
Updated • 3
verify-ppt/smollm3-stack-v2-Python
Updated • 5 • 1
verify-ppt/smollm3-stack-v2-TypeScript
Updated • 7
verify-ppt/smollm3-stack-v2-Swift
Updated • 131
verify-ppt/smollm3-stack-v2-SQL
Updated • 6
verify-ppt/smollm3-stack-v2-Shell
Updated • 5
verify-ppt/smollm3-stack-v2-Rust
Updated • 5
verify-ppt/smollm3-stack-v2-Ruby
Updated • 5
verify-ppt/smollm3-stack-v2-PHP
Updated • 6