verify-ppt/marin-starcoderdata_protocol-buffer
Updated • 43
Verify PPT
community
AI & ML interests
None defined yet.
Recent Activity
View all activity
verify-ppt/marin-starcoderdata_prolog
Updated • 6
verify-ppt/marin-starcoderdata_powershell
Updated • 31
verify-ppt/marin-starcoderdata_php
Updated • 119
verify-ppt/marin-starcoderdata_perl
Updated • 92
verify-ppt/marin-starcoderdata_pascal
Updated • 68
verify-ppt/marin-starcoderdata_ocaml
Updated • 2
verify-ppt/marin-starcoderdata_matlab
Updated • 97
verify-ppt/marin-starcoderdata_mathematica
Updated • 51
verify-ppt/marin-starcoderdata_markdown
Updated • 15
verify-ppt/marin-starcoderdata_maple
Updated • 30
verify-ppt/marin-starcoderdata_makefile
Updated • 4
verify-ppt/marin-starcoderdata_lua
Updated • 64
verify-ppt/marin-starcoderdata_literate-haskell
Updated • 39
verify-ppt/marin-starcoderdata_literate-coffeescript
Updated • 30
verify-ppt/marin-starcoderdata_literate-agda
Updated • 42
verify-ppt/marin-starcoderdata_lean
Updated • 227
verify-ppt/marin-starcoderdata_kotlin
Updated • 157
verify-ppt/marin-starcoderdata_jupyter-structured-clean-dedup
Updated • 67
verify-ppt/marin-starcoderdata_jupyter-scripts-dedup-filtered
Updated • 168
verify-ppt/marin-starcoderdata_julia
Updated • 54
verify-ppt/marin-starcoderdata_json
Updated • 191
verify-ppt/marin-starcoderdata_javascript
Updated • 162
verify-ppt/marin-starcoderdata_java
Updated • 66
verify-ppt/marin-starcoderdata_java-server-pages
Updated • 52
verify-ppt/marin-starcoderdata_isabelle
Updated • 96
verify-ppt/marin-starcoderdata_idris
Updated • 48
verify-ppt/marin-starcoderdata_html
Updated • 116
verify-ppt/marin-starcoderdata_haskell
Updated • 132
verify-ppt/marin-starcoderdata_groovy
Updated • 30