☆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:
- ☆28Oct 22, 2026Updated 2 weeks ago
- ☆70Oct 20, 2026Updated 2 weeks ago
- MisaMino with tetrio attack table and cap. Download link below☆18Feb 27, 2024Updated 2 years ago
- A powerful analytics engine for TETR.IO☆23Nov 27, 2024Updated last year
- ☆11Feb 1, 2025Updated last year
- 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.
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- ☆16Aug 2, 2023Updated 3 years ago
- not special , just very very fast !☆39Oct 31, 2026Updated last week
- Tetra Offline is an offline version of Tetra Online, which was removed from Steam.☆41Jun 19, 2021Updated 5 years ago
- ☆16Mar 11, 2022Updated 4 years ago
- Essentials mod for fabric☆12Nov 24, 2022Updated 3 years ago
- Show your bili-fans-medals in a github gist 在 github gist 显示B站粉丝牌等级和进度☆15Aug 25, 2022Updated 4 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- Unification of Directed Acyclic Graphs in Clojure☆21Oct 15, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Creates bibliographies in Typst with URL/DOI links☆18Jan 21, 2026Updated 9 months ago
- not special , just very very fast !☆10Aug 16, 2026Updated 2 months ago
- Minecraft Modpack Management CLI☆11May 11, 2021Updated 5 years ago
- GameViewer / UU 远程补丁，修复了 UU 远程在 Windows 下键盘/鼠标输入的数个问题☆34Nov 3, 2025Updated last year
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 4 years ago
- Minecraft 模组翻译文集☆12Jul 29, 2024Updated 2 years ago
- Web based pixel sorter providing a real-time UI to experiment with creating glitch art☆16Updated this week
- Open source simple block game to show a working implementation of my engine☆15Jun 6, 2023Updated 3 years ago
- ☆26May 13, 2026Updated 5 months 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 tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 4 years ago
- Online convert of ass danmaku; checkout tiansh/ass-danmaku for more details☆12Jun 23, 2022Updated 4 years ago
- A Fabric mod that fixes some annoying Minecraft bugs☆16Jul 15, 2023Updated 3 years ago
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 4 years ago
- Music player inspired by Lyric Speaker☆14May 11, 2026Updated 5 months ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Jul 11, 2026Updated 3 months ago
- ☆115Jul 15, 2015Updated 11 years ago
- A useful tool written in java for minecraft mod's localization.☆15Mar 8, 2017Updated 9 years ago
- ☆34Apr 17, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- C++ 现代俄罗斯方块 (Tetris written in C++)☆14Nov 19, 2025Updated 11 months ago
- A fast, cross-platform, user-friendly Minecraft mod translation tool that is available on Windows, Linux, MacOS, and as a WebAssembly (wa…☆22Apr 29, 2026Updated 6 months ago
- Various bash scripts to make music visualization☆10Dec 27, 2018Updated 7 years ago
- A formalization of M-types in Agda☆38Mar 7, 2020Updated 6 years ago
- libminecraftpe.so analyzer☆12Mar 15, 2019Updated 7 years ago
- 《PaperCutOut》 is a classic cartoon-style material with the theme of folded paper and paper cut. This texture will make the world of Minec…☆10Jan 8, 2021Updated 5 years ago
- A WIP language server for Minecraft shaderpacks☆18Jan 21, 2026Updated 9 months ago