☆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:
- ☆69May 20, 2026Updated last week
- MisaMino with tetrio attack table and cap. Download link below☆17Feb 27, 2024Updated 2 years ago
- Techmino:方块研究所唯一官方仓库(Github)☆843May 17, 2026Updated last week
- ☆16Aug 2, 2023Updated 2 years ago
- A powerful analytics engine for TETR.IO☆23Nov 27, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Show your bili-fans-medals in a github gist 在 github gist 显示B站粉丝牌等级和进度☆14Aug 25, 2022Updated 3 years ago
- Creates bibliographies in Typst with URL/DOI links☆18Jan 21, 2026Updated 4 months ago
- Unification of Directed Acyclic Graphs in Clojure☆21Oct 26, 2025Updated 7 months ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- 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 web based tools box for eve echoes☆15Apr 27, 2021Updated 5 years ago
- A WIP language server for Minecraft shaderpacks☆16Jan 21, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A fabric library to make easy functional collections of moving blocks☆13Apr 7, 2024Updated 2 years ago
- Experiments with higher-order abstract syntax in Agda☆22Jul 14, 2022Updated 3 years ago
- Command Palette(PowerToys) Translation Extension☆15Aug 6, 2025Updated 9 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- Tsim Sans | 源幅黑体 | 源幅黑體 | 源幅ゴシック; Simple modifications to SHS to bring proportional glyph metrics to legacy environments.☆12Jan 17, 2022Updated 4 years ago
- A fast, cross-platform, user-friendly Minecraft mod translation tool that is available on Windows, Linux, MacOS, and as a WebAssembly (wa…☆21Apr 29, 2026Updated 3 weeks ago
- Breeze theme with additional icons☆15Mar 1, 2026Updated 2 months ago
- A useful tool written in java for minecraft mod's localization.☆15Mar 8, 2017Updated 9 years ago
- ☆33Apr 17, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A fork of the spiritual successor of Inventory Tweaks☆21Mar 20, 2022Updated 4 years ago
- Automatically clear tracking parameters in url 自动化清除url中的跟踪参数☆11Feb 8, 2023Updated 3 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Bovo is a Gomoku like game for two players☆13Updated this week
- [PoC] An experimental editor that converts Markdown to Steam review/wiki formatting☆12Oct 3, 2020Updated 5 years ago
- Automate the microtonal scale designs of Erv Wilson in your DAW☆45Apr 12, 2026Updated last month
- A modern, transparent chat overlay application for Bilibili live streaming built with Electron. This overlay connects to the LAPLACE Even…☆24May 15, 2026Updated last week
- 为 RE-TTSCat 编写的自定义 TTS 引擎，提供简单的请求 API☆14May 11, 2023Updated 3 years ago
- Share Electron's Offscreen to Spout☆17Jul 7, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Carpet Addons☆17Nov 26, 2022Updated 3 years ago
- ☆45Apr 15, 2026Updated last month
- The Ubuntu Cinnamon Environment package. This does things like default image, LightDM theme, etc.☆16Mar 30, 2026Updated last month
- HBCD/Programs/Files☆15Jan 20, 2018Updated 8 years ago
- Swei B2 Sans-derived from Noto Sans CJK font family with a more concise & modern look. 獅尾B2黑體基於思源黑體的三角形轉成半圓形改造，彷彿墨暈或是稍微過曝的效果。☆15Aug 3, 2021Updated 4 years ago
- ☆53May 20, 2026Updated last week
- A formalization of M-types in Agda☆38Mar 7, 2020Updated 6 years ago