⌨ Importable dictionary for typing math symbols more easily on your Android phone by using keyboard shortcuts inspired by LaTeX
☆507Jun 3, 2025Updated last year
Alternatives and similar repositories for latex-gboard-dictionary
Users that are interested in latex-gboard-dictionary are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Convert portions of text to fancy text using unicode fonts for use on Twitter and other sites that don't support rich text☆88Nov 8, 2022Updated 3 years ago
- Releases and issue repository for todoify app, a material design(Material You) based todo, note-taking app for android.☆22Nov 8, 2023Updated 2 years ago
- Minimalistic, flat art, and colorful, digital nature wallpapers and an API for randomly selecting them☆621Jun 4, 2026Updated 3 weeks ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- VIVOTO is an android simple video and photo editor that can remove anything that you want to remove object. In this app, you can use trim…☆11Jun 16, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My personal collection of custom themes for Kvaesitso Launcher and Heliboard Keyboard on Android.☆35Aug 24, 2025Updated 10 months ago
- An xposed module forces content to be rendered in the cutout area☆14Jun 14, 2022Updated 4 years ago
- Workflow for displaying recent YouTube videos as SVG cards in your readme☆276Jun 1, 2026Updated 3 weeks ago
- A minimal (~720b) size-optimized UI framework☆13Jul 30, 2023Updated 2 years ago
- Magisk module that replaces Android's system fonts with Inter and other complementary fonts.☆56Mar 11, 2022Updated 4 years ago
- Automatically earn daily Microsoft Rewards points☆16Jun 22, 2024Updated 2 years ago
- รวม Domain ของบริการอีแอบ☆11May 13, 2026Updated last month
- An APK parsing tool and library for Go☆15Nov 9, 2023Updated 2 years ago
- An Android app to stream and download your media stored in Google Drive in an Awesome way !!☆341Jun 5, 2023Updated 3 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.
- Wallpapers of varied styles in a beautiful app☆54Apr 21, 2025Updated last year
- ☆12Feb 21, 2023Updated 3 years ago
- Collection of basic smoothers and smoothing related applications☆17Jun 27, 2023Updated 3 years ago
- experimental UNOFFICIAL Spotify client for Android built on librespot-java + Jetpack Compose☆382Mar 9, 2024Updated 2 years ago
- [Android] Screen Checker application for development information☆10Nov 3, 2024Updated last year
- DGicons as Icon Pack Now! it is an adaptive (in shape) and dynamic (takes the dominant color of the current wallpaper) icon pack.☆70Jan 19, 2023Updated 3 years ago
- Awesome list of terminal programs☆25Aug 28, 2023Updated 2 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Canonical default initial values and identity elements for Julia☆26Jan 15, 2022Updated 4 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.
- Gimp plugins to extract text from images (Bubble/Balloons)☆12Jul 7, 2024Updated last year
- Systemless Google Sans module. (also contains A11 leaked emojis)☆17Aug 24, 2020Updated 5 years ago
- Outline & Ethereal Substratum themes. A mix of light/dark backgrounds, pastell colors and beautiful handcrafted icons.☆14Dec 19, 2020Updated 5 years ago
- GitHub Action workflow configuration for keeping a direct download link to the latest version on your repo's readme☆28Aug 1, 2023Updated 2 years ago
- A workout journal. Mirror of https://codeberg.org/iamlooker/kenko☆230Jan 12, 2026Updated 5 months ago
- Package providing K-nearest neighbor regressors and classifiers, for use with the MLJ machine learning framework.☆27Oct 21, 2023Updated 2 years ago
- 📈 Track COVID-19 (2019 novel Coronavirus) statistics via the command line.☆15Jun 30, 2021Updated 4 years ago
- The simplest way to get Office 365 running on your Windows (10/11) computer.☆28Jun 19, 2025Updated last year
- Automatic SMS Verification with the SMS Retriever API☆12Jul 29, 2020Updated 5 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.
- Mixplorer themes by rkbdi☆27Sep 24, 2019Updated 6 years ago
- A fabric mod to show villager's information. Including bed & job site and enchantment book trade☆12Aug 3, 2022Updated 3 years ago
- RSS feeds created/collected by TabHub.☆17Updated this week
- Android app that allows you to save a file shared from another app to your device.☆297Feb 28, 2024Updated 2 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆31Sep 21, 2022Updated 3 years ago
- Ternary/simplex plotting recipe/addon for Plots.jl☆26Dec 6, 2023Updated 2 years ago
- Generic helper algorithms for building plotting components☆34Mar 30, 2026Updated 2 months ago