☆16Dec 8, 2024Updated last year
Alternatives and similar repositories for smartbingo
Users that are interested in smartbingo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Mar 10, 2026Updated 2 weeks ago
- An open-source space-themed typeface. 一款开源宇宙主题字体.☆12Nov 1, 2022Updated 3 years ago
- MisaMino with tetrio attack table and cap. Download link below☆16Feb 27, 2024Updated 2 years ago
- Techmino:方块研究所唯一官方仓库(Github)☆809Jan 16, 2026Updated 2 months ago
- Build Linux .AppImage package☆13Oct 8, 2025Updated 5 months ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- 一款个人练习向的像素风等宽单字重字体, 使用 Glyphs 3 开发. A pixel monospaced single-weight typeface developed with Glyphs 3.☆18Jul 26, 2022Updated 3 years ago
- ☆11Jul 31, 2024Updated last year
- ☆16Mar 11, 2022Updated 4 years ago
- A English-Chinese termbase for Minecraft☆13Jul 17, 2025Updated 8 months ago
- Show your bili-fans-medals in a github gist 在 github gist 显示B站粉丝牌等级和进度☆14Aug 25, 2022Updated 3 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- A magisk module to replace system UI font with Inter font.☆10Jun 21, 2021Updated 4 years ago
- Translates MCP source code to Yarn☆11Aug 29, 2020Updated 5 years ago
- A WIP language server for Minecraft shaderpacks☆14Jan 21, 2026Updated 2 months ago
- Essentials mod for fabric☆12Nov 24, 2022Updated 3 years ago
- A fabric library to make easy functional collections of moving blocks☆13Apr 7, 2024Updated last year
- Minecraft 模组翻译文集☆12Jul 29, 2024Updated last year
- Experiments with higher-order abstract syntax in Agda☆22Jul 14, 2022Updated 3 years ago
- Minecraft Modpack Management CLI☆11May 11, 2021Updated 4 years ago
- 备份文件扫描 fuzz 网站备份文件 支持多线程 支持单个 支持批量☆16Mar 19, 2021Updated 5 years ago
- ☆26Jan 28, 2026Updated last month
- Open source simple block game to show a working implementation of my engine☆15Jun 6, 2023Updated 2 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…☆42Jul 13, 2025Updated 8 months ago
- Online convert of ass danmaku; checkout tiansh/ass-danmaku for more details☆12Jun 23, 2022Updated 3 years ago
- A fast, cross-platform, user-friendly Minecraft mod translation tool that is available on Windows, Linux, MacOS, and as a WebAssembly (wa…☆20Oct 10, 2025Updated 5 months ago
- Google输入法四角号码扩展☆11Jul 22, 2024Updated last year
- Tetris clone in HTML5☆16Jan 13, 2024Updated 2 years ago
- ☆114Jul 15, 2015Updated 10 years ago
- A tutorial for using GraalVM with Minecraft.☆26Feb 13, 2022Updated 4 years ago
- A Fabric mod that fixes some annoying Minecraft bugs☆17Jul 15, 2023Updated 2 years ago
- A useful tool written in java for minecraft mod's localization.☆15Mar 8, 2017Updated 9 years ago
- 自定义CRC32值 crc32 reverse☆14Oct 27, 2020Updated 5 years ago
- Ganymed SSH-2 for Java is a library which implements the SSH-2 protocol in pure Java.☆28Jun 27, 2025Updated 8 months ago
- ☆32Apr 17, 2023Updated 2 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Automatically clear tracking parameters in url 自动化清除url中的跟踪参数☆11Feb 8, 2023Updated 3 years ago
- A high speed puzzle action game☆16Apr 30, 2019Updated 6 years ago