BêtaRare
google-deepmind/superhuman
Pas de description.
- Propriétaire
- google-deepmind (organisation)
- Étoiles
- Étoiles : 806
- Forks
- Forks : 86
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de google-deepmind
Les 174 dépôts de google-deepmind- google-deepmind/mujocoÉtoiles : 16 008C++Stable
- google-deepmind/deepmind-researchÉtoiles : 15 261Jupyter NotebookStable
- google-deepmind/alphafoldÉtoiles : 14 920PythonStable
- google-deepmind/sonnetÉtoiles : 9 975PythonStable
- google-deepmind/alphafold3Étoiles : 8 709PythonStable
- google-deepmind/pysc2Étoiles : 8 330PythonStable
D’autres dépôts Lean
Tous les dépôts Lean- anthropics/fermats-last-theoremÉtoiles : 1 295LeanBêta
- ImperialCollegeLondon/FLTÉtoiles : 1 056LeanBêta
- leanprover-community/physlibÉtoiles : 817LeanBêta
- leanprover/cslibÉtoiles : 786LeanBêta
- uwdb/CosetteÉtoiles : 690LeanAlpha
- litexlang/golitexÉtoiles : 683LeanAlpha