Back to projects
DevTools
lean4game by leanprover-community
Server to host Lean games. Maintained by leanprover-community on GitHub, where it has earned 522 stars from the community.
Install
npm install lean4gameLanguages
TypeScript62.291%
Lean28.654%
CSS6.028%
JavaScript1.91%
Shell0.534%
Python0.302%
HTML0.283%
Last updated3mo ago
LicenseGPL-3.0
More React projects
DevTools
CSS media queries in react - for responsive design, and more. Maintained by yocontra on GitHub, where it has earned 7,172 stars from the community.
Y
1y agoDevTools
A place for developers to show recruiters they are available for hire. Maintained by zero-to-mastery on GitHub, where it has earned 1,188 stars from the community.
Z
4w agoDevTools
A complete overhaul of Music Blocks. Maintained by sugarlabs on GitHub, where it has earned 102 stars from the community.
S
3mo ago