AlphaPeu commune
leanprover-community/lean4game
Server to host Lean games
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 576
- Forks
- Forks : 114
- Langage
- TypeScript
- Licence
- GPL-3.0
- Création
- 2022
- Sujets
- lean4react
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de leanprover-community
Les 23 dépôts de leanprover-community- leanprover-community/mathlib4Étoiles : 4 414LeanRC
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- leanprover-community/physlibÉtoiles : 818LeanBêta
- leanprover-community/mathematics_in_leanÉtoiles : 625HTMLAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
D’autres dépôts TypeScript
Tous les dépôts TypeScript- ni5arga/sightlineÉtoiles : 576TypeScriptAlpha
- lehhair/OpenCodeUIÉtoiles : 576TypeScriptAlpha
- zonelessdev/zonelessÉtoiles : 576TypeScriptAlpha
- rommguy/react-custom-scrollÉtoiles : 576TypeScriptAlpha
- francisrstokes/arcsecondÉtoiles : 576TypeScriptAlpha
- rameshvarun/netplayjsÉtoiles : 576TypeScriptAlpha