开发

226 个 第 19/19 页
GitHub Trending Lean Today GitHub Trending Lean Today
22:27
  1. 1 leanprover / lean4 8029
  2. 2 google-deepmind / formal-conjectures 961
  3. 3 Verified-zkEVM / VCV-io 102
  4. 4 leanprover-community / mathlib4 3290
  5. 5 AlexKontorovich / PrimeNumberTheoremAnd 295
  6. 6 leanprover / cslib 537
  7. 7 teorth / analysis 1710
GitHub Trending Meson Today GitHub Trending Meson Today
22:27
  1. 1 frida / frida 2.1万
GitHub Trending Odin Today GitHub Trending Odin Today
22:27
  1. 1 odin-lang / Odin 1.0万
  2. 2 karl-zylinski / karl2d 546
Hugging Face Trending Datasets Hugging Face Trending Datasets
22:28
  1. 1 TuringEnterprises/Open-MM-RL
  2. 2 ADSKAILab/Zero-To-CAD-1m
  3. 3 angrygiraffe/claude-opus-4.6-4.7-reasoning-8.7k
  4. 4 open-thoughts/AgentTrove
  5. 5 nvidia/Nemotron-Personas-Korea
  6. 6 AlienKevin/SWE-ZERO-12M-trajectories
  7. 7 lambda/hermes-agent-reasoning-traces
  8. 8 Qwen/WebWorldData
  9. 9 5551z/VisCoR-55K
  10. 10 Jackrong/DeepSeek-V4-Distill-8000x
  11. 11 Roman1111111/claude-opus-4.6-10000x
  12. 12 Jackrong/GLM-5.1-Reasoning-1M-Cleaned
  13. 13 HuggingFaceFW/fineweb-edu
  14. 14 Modotte/CodeX-2M-Thinking
  15. 15 nvidia/Nemotron-Image-Training-v3
Blur Studio Works Blur Studio Works
22:27
  1. 1 LDR wins 3 Annies
  2. 2 Blur History
  3. 3 Emmy Noms!
  4. 4 Unreal Tournament
  5. 5 Blurning Man
  6. 6 Awards Galore
  7. 7 Holiday Party!
  8. 8 Thanks Given
  9. 9 Tim & Corridor Crew
  10. 10 VFX Voice
  11. 11 The Art of LDR
  12. 12 More Emmy Noms!
  13. 13 Blur at the Screenland 5K
  14. 14 Wonder Woman Teaser
  15. 15 LDR v2 Emmy Winners!
GitHub Trending Dart Today GitHub Trending Dart Today
22:27
  1. 1 deretame / Breeze 1178
  2. 2 dddevid / Musly 389
  3. 3 KRTirtho / spotube 4.6万
  4. 4 lollipopkit / flutter_server_box 7942
  5. 5 Lingyan000 / fluxdo 1436
  6. 6 hiddify / hiddify-app 3.0万
  7. 7 flutter / samples 1.9万
  8. 8 Solido / awesome-flutter 6.0万
  9. 9 ente-io / ente 2.6万
  10. 10 ViscousPot / GitSync 1793
  11. 11 zjs81 / meshcore-open 475
  12. 12 anandnet / Harmony-Music 2982
  13. 13 chen08209 / FlClash 3.9万
  14. 14 flutter / flutter 17.6万
  15. 15 venera-app / venera 9680
GitHub Trending Dockerfile Today GitHub Trending Dockerfile Today
22:27
  1. 1 TechHutTV / homelab 2848
  2. 2 autowarefoundation / autoware 1.2万
  3. 3 goldbergyoni / nodebestpractices 10.5万
  4. 4 dotnet / dotnet-docker 4846
  5. 5 piyushsachdeva / CKA-2024 1045
  6. 6 mikeroyal / Self-Hosting-Guide 2.0万
  7. 7 redhat-openshift-ecosystem / certified-operators 76
  8. 8 github / prettier-config 34
  9. 9 microsoft / vscode-remote-release 4105
  10. 10 huggingface / Google-Cloud-Containers 178
  11. 11 aws-amplify / amplify-hosting 480
  12. 12 microsoft / mssql-docker 1870
  13. 13 apache / apisix-docker 859
  14. 14 Gar-b-age / CookLikeHOC 2.3万
  15. 15 k8s-operatorhub / community-operators 265
GitHub Trending Groovy Today GitHub Trending Groovy Today
22:27
  1. 1 nextflow-io / nextflow 3382
  2. 2 gradle / gradle 1.9万
  3. 3 apache / grails-core 2881
GitHub Trending Handlebars Today GitHub Trending Handlebars Today
22:27
  1. 1 elastic / integrations 324
  2. 2 rust-lang / rust-by-example 7967
  3. 3 huggingface / hub-docs 550
  4. 4 yeun / open-color 5523
GitHub Trending Haxe Today GitHub Trending Haxe Today
22:27
  1. 1 FunkinCrew / funkin.assets 128