Search through over 1000 different LaTeX symbols by sketching. A desktop version of detexify.
☆161Jan 6, 2023Updated 3 years ago
Alternatives and similar repositories for TeX-Match
Users that are interested in TeX-Match are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Make memorizing easier☆14Apr 13, 2021Updated 5 years ago
- Port of @IvanMathy's Boop to GTK, a scriptable scratchpad for developers.☆248Jan 9, 2023Updated 3 years ago
- Simple GTK dictionary application powered by Wiktionary☆98Nov 28, 2025Updated 4 months ago
- [Deprecated] Easily import Glade-generated UI files into Rust code.☆29Oct 7, 2025Updated 6 months ago
- ☆13May 16, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LaTeX editor written in Python with Gtk☆417Jul 8, 2025Updated 9 months ago
- ☆15Jan 18, 2021Updated 5 years ago
- ☆24Jul 29, 2024Updated last year
- Wikipedia Reader for the GNOME Desktop☆319Mar 9, 2026Updated last month
- A Simple GUI for youtube-dl using PyGObject☆19Apr 6, 2024Updated 2 years ago
- Modern, Fast, and Version-Controlled Markdown Notes App☆64Feb 16, 2024Updated 2 years ago
- Download fonts from the web!☆175Sep 18, 2025Updated 7 months ago
- Webmail notifications and actions for any desktop☆11Mar 19, 2026Updated last month
- A specialised computer algebra system for topos theory.☆18Jun 23, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tool to `cargo vendor` with filtering☆54Feb 22, 2026Updated last month
- Unity like HUD menu for the GNOME Desktop Environment using rofi menu.☆120Sep 19, 2021Updated 4 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- A Rust wrapper around XDG portals DBus interfaces☆341Updated this week
- Plotters GTK4 Backend☆13Aug 25, 2025Updated 7 months ago
- Wayland compositor☆16Jun 2, 2022Updated 3 years ago
- The GTK icon theme for tauOS☆13Oct 11, 2025Updated 6 months ago
- Get BibTeX from a DOI — fast☆28Apr 3, 2026Updated 2 weeks ago
- Assistant - Voice assistant GUI based on Mycroft, written in GTK☆17Aug 27, 2023Updated 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.
- obsidian plugins: chevereto image uploader☆10Feb 17, 2022Updated 4 years ago
- A CSL-based activation processor for Org citations☆43Jun 29, 2025Updated 9 months ago
- LaTeX Package, a Style Checker of .bib Files: it emits warnings in the TeX log if any issues are found☆15Updated this week
- Use Native Linux icons on NodeJS☆10Dec 6, 2022Updated 3 years ago
- A patch to round the bottom corners of the Adwaita theme.☆48Feb 20, 2021Updated 5 years ago
- A Inkscape UI mockup proposal based on gnome GTK3 interface design team☆15Aug 5, 2020Updated 5 years ago
- TARGET and HOST triples☆16Dec 20, 2025Updated 3 months ago
- Playground for HTML/CSS/JavaScript☆167Dec 18, 2025Updated 4 months ago
- GNOME Shell extension. Wikipedia Search Provider.☆42Nov 22, 2017Updated 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.
- Commutative diagrams with TikZ☆55Sep 24, 2022Updated 3 years ago
- Find LaTeX and Typst symbols☆115Apr 12, 2026Updated last week
- Cheat-sheets for shortcuts & commands at your fingertips.☆21Oct 30, 2025Updated 5 months ago
- Color box to help developers and designers☆53Updated this week
- A dictionary application built for GNOME.☆152Apr 11, 2026Updated last week
- Just a simple and aesthetically pleasing system information fetch tool for Linux.☆22Mar 10, 2025Updated last year
- Some statistics from Flathub☆22Jun 21, 2023Updated 2 years ago