verify-ppt/marin-starcoderdata_racket
Updated • 233
Verify PPT
community
AI & ML interests
None defined yet.
Recent Activity
verify-ppt/marin-starcoderdata_r
Updated • 117
verify-ppt/marin-starcoderdata_python
Updated • 125
verify-ppt/marin-starcoderdata_protocol-buffer
Updated • 130
verify-ppt/marin-starcoderdata_prolog
Updated • 124
verify-ppt/marin-starcoderdata_powershell
Updated • 126
verify-ppt/marin-starcoderdata_php
Updated • 108
verify-ppt/marin-starcoderdata_perl
Updated • 110
verify-ppt/marin-starcoderdata_pascal
Updated • 116
verify-ppt/marin-starcoderdata_ocaml
Updated • 116
verify-ppt/marin-starcoderdata_matlab
Updated • 102
verify-ppt/marin-starcoderdata_mathematica
Updated • 126
verify-ppt/marin-starcoderdata_markdown
Updated • 123
verify-ppt/marin-starcoderdata_maple
Updated • 108
verify-ppt/marin-starcoderdata_makefile
Updated • 136
verify-ppt/marin-starcoderdata_lua
Updated • 134
verify-ppt/marin-starcoderdata_literate-haskell
Updated • 108
verify-ppt/marin-starcoderdata_literate-coffeescript
Updated • 107
verify-ppt/marin-starcoderdata_literate-agda
Updated • 97
verify-ppt/marin-starcoderdata_lean
Updated • 104
verify-ppt/marin-starcoderdata_kotlin
Updated • 103
verify-ppt/marin-starcoderdata_jupyter-structured-clean-dedup
Updated • 116
verify-ppt/marin-starcoderdata_jupyter-scripts-dedup-filtered
Updated • 106
verify-ppt/marin-starcoderdata_julia
Updated • 115
verify-ppt/marin-starcoderdata_json
Updated • 118
verify-ppt/marin-starcoderdata_javascript
Updated • 102
verify-ppt/marin-starcoderdata_java
Updated • 136
verify-ppt/marin-starcoderdata_java-server-pages
Updated • 119
verify-ppt/marin-starcoderdata_isabelle
Updated • 119
verify-ppt/marin-starcoderdata_idris
Updated • 124