使用Lean4玩一个小游戏Natural s List，
A little game of Natural s List using Lean4, (2023-09-29, Lean, 0KB, 下载0次)
grhkm与lean和mathlib玩得很开心！，
grhkm having fun with lean and mathlib!, (2023-02-24, Lean, 0KB, 下载0次)
grhkm在玩lean4！，
grhkm messing around with lean4!, (2023-02-28, Lean, 0KB, 下载0次)
一种游戏，玩家在试图避开树木的同时放鸟。这只鸟是用网络摄像头控制的，玩家拍动手臂，然后...，
A game where the player flies a bird whilst trying to avoid trees. The bird is controlled using a webcam, the player flaps their arms and leans their body. All running in a browser, using the pre-trained network (PoseNet) for pose recognition. (2021-08-13, JavaScript, 0KB, 下载0次)
这是《忍者精益日语》的源代码，是一款研究日语声乐的有趣游戏。该应用程序包括两个功能。第一个你可以玩...，
This s source code of "Ninja lean Japanese" a funny game to study Japanese vocab. This app include two function. The first you can play the build in mission and share your challenges. The second you can make your personal custom game. This make you extend your word you can learn. (2015-08-01, Java, 0KB, 下载0次)