☆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:
- ☆27Updated this week
- ☆70May 20, 2026Updated 2 months ago
- MisaMino with tetrio attack table and cap. Download link below☆18Feb 27, 2024Updated 2 years ago
- Techmino:方块研究所唯一官方仓库(Github)☆883May 17, 2026Updated 2 months ago
- A powerful analytics engine for TETR.IO☆23Nov 27, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Aug 2, 2023Updated 2 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- ☆11Jul 31, 2024Updated last year
- ☆16Mar 11, 2022Updated 4 years ago
- A English-Chinese termbase for Minecraft☆13Jul 21, 2026Updated last week
- Show your bili-fans-medals in a github gist 在 github gist 显示B站粉丝牌等级和进度☆14Aug 25, 2022Updated 3 years ago
- A magisk module to replace system UI font with Inter font.☆10Jun 21, 2021Updated 5 years ago
- a web based tools box for eve echoes☆15Apr 27, 2021Updated 5 years ago
- 格雷科技社区整合包现代版（GCPM）的中文翻译。☆15May 8, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- GameViewer / UU 远程补丁，修复了 UU 远程在 Windows 下键盘/鼠标输入的数个问题☆30Nov 3, 2025Updated 8 months ago
- Minecraft 模组翻译文集☆12Jul 29, 2024Updated 2 years ago
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 4 years ago
- ☆26May 13, 2026Updated 2 months ago
- 备份文件扫描 fuzz 网站备份文件 支持多线程 支持单个 支持批量☆16Mar 19, 2021Updated 5 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Command Palette(PowerToys) Translation Extension☆14Aug 6, 2025Updated 11 months ago
- Open source simple block game to show a working implementation of my engine☆15Jun 6, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 3 years ago
- An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…☆43Jul 13, 2025Updated last year
- Tsim Sans | 源幅黑体 | 源幅黑體 | 源幅ゴシック; Simple modifications to SHS to bring proportional glyph metrics to legacy environments.☆12Jan 17, 2022Updated 4 years ago
- Online convert of ass danmaku; checkout tiansh/ass-danmaku for more details☆12Jun 23, 2022Updated 4 years ago
- Google输入法四角号码扩展☆11Jul 22, 2024Updated 2 years ago
- A tutorial for using GraalVM with Minecraft.☆28Feb 13, 2022Updated 4 years ago
- A Fabric mod that fixes some annoying Minecraft bugs☆18Jul 15, 2023Updated 3 years ago
- Ganymed SSH-2 for Java is a library which implements the SSH-2 protocol in pure Java.☆28Jun 27, 2025Updated last year
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Jul 11, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A high speed puzzle action game☆16Apr 30, 2019Updated 7 years ago
- Some scripts that allow you to call spotdl from a button on the Spotify website.☆21Dec 8, 2022Updated 3 years ago
- A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …☆33Apr 3, 2024Updated 2 years ago
- Adds tiers/modifiers to tools.☆13Jun 26, 2024Updated 2 years ago
- qBittorrent remote client similar to qBittorrents WebUI, however with more features and as a 'real' application for Windows and Linux (an…☆30Mar 25, 2026Updated 4 months ago
- Carpet Addons☆17Nov 26, 2022Updated 3 years ago
- Tetris diagram editor for mobile☆18Mar 4, 2023Updated 3 years ago