☆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:
- ☆27Apr 28, 2026Updated last week
- Techmino:方块研究所唯一官方仓库(Github)☆830Mar 23, 2026Updated last month
- Build Linux .AppImage package☆14Oct 8, 2025Updated 6 months ago
- Tetra Offline is an offline version of Tetra Online, which was removed from Steam.☆42Jun 19, 2021Updated 4 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- ☆16Mar 11, 2022Updated 4 years ago
- Creates bibliographies in Typst with URL/DOI links☆18Jan 21, 2026Updated 3 months ago
- A WIP language server for Minecraft shaderpacks☆16Jan 21, 2026Updated 3 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 2 years ago
- Experiments with higher-order abstract syntax in Agda☆22Jul 14, 2022Updated 3 years ago
- 备份文件扫描 fuzz 网站备份文件 支持多线程 支持单个 支持批量☆15Mar 19, 2021Updated 5 years ago
- ☆26Jan 28, 2026Updated 3 months 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.
- Command Palette(PowerToys) Translation Extension☆15Aug 6, 2025Updated 9 months ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 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 tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- C++ 现代俄罗斯方块 (Tetris written in C++)☆15Nov 19, 2025Updated 5 months ago
- Google输入法四角号码扩展☆11Jul 22, 2024Updated last year
- ☆115Jul 15, 2015Updated 10 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
- 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.
- ☆33Apr 17, 2023Updated 3 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- 为 RE-TTSCat 编写的自定义 TTS 引擎，提供简单的请求 API☆14May 11, 2023Updated 2 years ago
- Share Electron's Offscreen to Spout☆16Jul 7, 2024Updated last year
- Tetris diagram editor for mobile☆18Mar 4, 2023Updated 3 years ago
- Various bash scripts to make music visualization☆10Dec 27, 2018Updated 7 years ago
- ☆45Apr 15, 2026Updated 3 weeks ago
- Swei B2 Sans-derived from Noto Sans CJK font family with a more concise & modern look. 獅尾B2黑體基於思源黑體的三角形轉成半圓形改造，彷彿墨暈或是稍微過曝的效果。☆15Aug 3, 2021Updated 4 years ago
- A formalization of M-types in Agda☆37Mar 7, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Java NBT(Named Binary Tag) library.☆24Mar 6, 2023Updated 3 years ago
- 翻译io为中文☆16Mar 30, 2026Updated last month
- Chromium extension for displaying all the available formats of an AppleMusic album.☆17Apr 5, 2024Updated 2 years ago
- A set of mods for NullpoMino 7.5.0☆18Apr 29, 2026Updated last week
- A set of tools for headphone correction and binaural synthesis of spatial audio systems on headphones☆37Mar 14, 2026Updated last month
- TETR.IO replay downloader (supports Tetra League, 40 Lines, Blitz, Quick Play)☆13Nov 11, 2024Updated last year
- Order the items in AE on the web. https://blog.smileyik.eu.org/oc-ae/☆34Apr 27, 2026Updated last week