1Lumine AI from ByteDance: A VLLM Agent That Plays Genshin Impact (opens in new tab)(lumine-ai.org)3EtaoinWu7mo ago1Save
2GitHub repo extensively mirrored by GitCode, platform launched by China's CSDN (opens in new tab)(gitcode.com)28EtaoinWu2y ago29Save
3Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870 (opens in new tab)(github.com)GitHub3EtaoinWu2y ago0Save
