⌨ 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:
- 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
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- My personal collection of custom themes for Kvaesitso Launcher and Heliboard Keyboard on Android.☆29Aug 24, 2025Updated 9 months ago
- An xposed module forces content to be rendered in the cutout area☆14Jun 14, 2022Updated 3 years ago
- A minimal (~720b) size-optimized UI framework☆13Jul 30, 2023Updated 2 years 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.
- 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 last year
- รวม Domain ของบริการอีแอบ☆11May 13, 2026Updated 3 weeks ago
- An APK parsing tool and library for Go☆14Nov 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
- 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 2 years ago
- ☆13Jan 8, 2018Updated 8 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.
- experimental UNOFFICIAL Spotify client for Android built on librespot-java + Jetpack Compose☆382Mar 9, 2024Updated 2 years ago
- A Magisk module for setting miscellaneous audio configuration values (media audio volume steps (100 steps), disabling the effects framewo…☆10Jan 13, 2022Updated 4 years ago
- DGicons as Icon Pack Now! it is an adaptive (in shape) and dynamic (takes the dominant color of the current wallpaper) icon pack.☆68Jan 19, 2023Updated 3 years ago
- Awesome list of terminal programs☆24Aug 28, 2023Updated 2 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- 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
- The simplest way to get Office 365 running on your Windows (10/11) computer.☆26Jun 19, 2025Updated 11 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.
- Sources of Cracklock☆11Nov 15, 2022Updated 3 years ago
- OCaml syntax extension for quoting code☆28Aug 8, 2025Updated 10 months ago
- A workout journal. Mirror of https://codeberg.org/iamlooker/kenko☆229Jan 12, 2026Updated 4 months ago
- Packages and other resourced designed to make things run fast in Julia☆24Aug 13, 2021Updated 4 years ago
- 📈 Track COVID-19 (2019 novel Coronavirus) statistics via the command line.☆15Jun 30, 2021Updated 4 years ago
- 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
- I18n for Sonolus☆13May 22, 2026Updated 2 weeks ago
- Android app that allows you to save a file shared from another app to your device.☆297Feb 28, 2024Updated 2 years 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 complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆30Sep 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
- Widget based to-do manager application for android.☆12Aug 14, 2022Updated 3 years ago
- Faster sorting algorithms (sort and sortperm) for Julia☆24Sep 21, 2024Updated last year
- Release repo for WeatherWise, a material design, closed source live-weather app with Material You theming. Available for both Android and…☆188May 2, 2026Updated last month
- My Agda stuff☆13May 31, 2026Updated last week