玩精益定理证明器的休闲产品，主要是PR到其他项目的中间产品
casual products of playing with Lean theorem prover, mostly intermediates of PRs to other projects (2024-04-27, Lean, 0KB, 下载0次)
一个简单的minecraft插件，在玩家周围每隔n个刻度删除一个随机区块。
A simple minecraft plugin that deletes a random chunk every n-ticks(s) around the player. (2024-03-25, Java, 0KB, 下载0次)
这是一个用多种语言（C、C++、C#、Java、Python、Go）编写的算法。玩得开心！
This is an algorithms den written in multiple languages (C, C++, C#, Java, Python, Go). Have Fun! (2024-01-18, C++, 0KB, 下载0次)
Minecraft插件，在间隔时间以及请求时向玩家显示有用的提示。
Minecraft plugin which displays useful tips to players on an interval as well as by request. (2023-12-26, Java, 0KB, 下载0次)
Java代码实现了一个猜数字游戏，其中玩家猜测1到100之间的随机数。对每个猜测的反馈引导玩家，并继续回合，直到他们选择退出。该程序基于尝试来跟踪总轮数和分数。
The Java code implements a number guessing game where the player guesses a random number between 1 and 100. Feedback on each guess guides the player, and rounds continue until they opt out. The program tracks total rounds and scores based on attempts. (2023-12-23, Java, 0KB, 下载0次)
一款人工智能驱动的游戏，玩家使用概率推理对代理进行编码，以狩猎隐形幽灵。
An AI-driven game where players code agents to hunt invisible ghosts using probabilistic inference. (2023-11-12, Python, 0KB, 下载0次)
一个Connect Four程序和机器人，使用minimax算法的变体来玩游戏。，
A Connect Four program and bot that uses a variation of the minimax algorithm to play the game., (2023-10-15, Python, 0KB, 下载0次)
一年级和二年级的孩子玩的数学游戏，我为了学习ThreeJS。，
Math game for kids of 1st 2nd grade, which I created in order to learn ThreeJS., (2023-01-06, TypeScript, 0KB, 下载0次)
玩转算法(Python语言描述) - 用最简单的方式学习,从入门到努力。,
Play with algorithms (described in Python language) - learn in the simplest way, from entry to effort., (2019-06-14, Python, 0KB, 下载0次)
作为2019年NCSS挑战的一部分，一个玩大二的机器人-纸牌游戏
A bot that plays big two - a card game - as part of NCSS challenge 2019 (2021-08-03, Python, 0KB, 下载0次)
一种用python编程的游戏，试图激怒玩家，特别是因为任务的简单性。，
A game programmed in python, which tries to annoy the player, especially because of the simplicity of the task., (2020-12-16, Python, 0KB, 下载0次)
在这里，我发布了一些PSoC4先锋套件的代码，这是一个非常好的板，我喜欢玩。，
Here I post some code for PSoC4 Pioneer kit a very nice board which I enjoy playing around., (2018-09-29, C, 0KB, 下载0次)
一种游戏，玩家猜测一个随机的单个数字，如果他们猜错了，就会得到提示
Game where the player guesses a random single-digit number, being given hints should they guess incorrectly (2018-09-01, C#, 0KB, 下载0次)
Windows窗体上的一个简单的俄罗斯跳棋，具有一个愚蠢的随机AI。可玩：D
A simple russian checkers on Windows Forms with an idiotic random-based AI. Playable :D (2021-10-01, C#, 0KB, 下载0次)
SCP SL插件，通过改为向玩家显示随机房间来改进预循环黑屏
A plugin For SCP SL that Improves The Pre-Round black screen by instead showing random rooms to players (2019-03-29, C#, 0KB, 下载0次)
关于我在空闲时间玩的神奇宝贝猩红和紫罗兰游戏的随机工具和文章。
Random tools and writings about the Pokémon Scarlet & Violet games I do during my free time. (2023-06-21, C#, 0KB, 下载0次)
这是一个猜测游戏，程序选择一个随机数，玩家试图让它正确。
It s a guessing game, where the program chooses a random number and the player tries to get it right. (2022-10-12, CSS, 0KB, 下载0次)
Spigot服务器的插件，实现随机生成的基本任务，并为玩家提供奖励。
A plugin for Spigot servers that implements randomly generated basic quests with rewards for players. (2023-04-23, Java, 0KB, 下载0次)
包含可与LagoLunatic的TWW随机化器一起使用的玩家模型的存储库。
A repository containing the player models that can be used with LagoLunatic s TWW Randomizer. (2023-01-06, Others, 0KB, 下载0次)
随机给个数字，然后你可以猜大小，挺好玩的，初学者可以看看
To a random number, then you can guess the size, good fun, beginners can see (2014-04-09, Visual Basic, 6KB, 下载3次)