Overleaf symbol-recognition extension
☆12Dec 27, 2021Updated 4 years ago
Alternatives and similar repositories for extexify
Users that are interested in extexify are comparing it to the libraries listed below
Sorting:
- New way to do academic writing.☆22Jan 14, 2021Updated 5 years ago
- ☆11Feb 3, 2026Updated 3 weeks ago
- An in-browser Beamer presentation viewer☆17Oct 23, 2023Updated 2 years ago
- Overleaf git bridge, fork of https://gitlab.com/axkibe/olgitbridge with support for the Overleaf v4 frontend☆21Mar 21, 2024Updated last year
- Watching TeX digest tokens☆28Jan 5, 2024Updated 2 years ago
- GUI for tlmgr written in Scala☆28Sep 14, 2021Updated 4 years ago
- Cours d'introduction au langage Python, inspiré du tutoriel Python traduit en français.☆10Jan 14, 2022Updated 4 years ago
- A downloader for ISIS of TU-Berlin☆38Sep 22, 2025Updated 5 months ago
- PMD Plugin for the Eclipse IDE☆13Feb 14, 2026Updated 2 weeks ago
- Some code for calculating cosmological distances☆14Aug 8, 2016Updated 9 years ago
- scripts for automating grading with GitHub Classroom and Moodle☆11May 18, 2020Updated 5 years ago
- Guia rápida de instalación de ArchLinux en modo UEFI☆10Apr 11, 2025Updated 10 months ago
- Unofficial browser extension for extending the online LaTeX editor Overleaf☆35Mar 1, 2025Updated last year
- VSC user training material and documentation☆10Updated this week
- This is the official repository of The Open LaTeX Project☆13Oct 15, 2020Updated 5 years ago
- ☆13May 25, 2024Updated last year
- Binaries for mathematicians☆10Mar 19, 2025Updated 11 months ago
- This repository contains my solutions for the Udemy Course Complete Python Bootcamp: Go from zero to hero in Python 3☆10Jul 17, 2018Updated 7 years ago
- General-purpose optimal control, trajectory optimisation and parameter optimisation using direct collocation☆10Aug 29, 2023Updated 2 years ago
- Taller de fundamentos de manera práctica de ciencia de datos en CTIC.☆17Jul 5, 2022Updated 3 years ago
- gpm is a tool for managing Go projects.☆11May 18, 2019Updated 6 years ago
- ☆11Nov 24, 2018Updated 7 years ago
- GEO 325M Introduction to Numerical Modeling☆13Updated this week
- VSCode Extension for files-to-prompt☆14Updated this week
- As you know it is not possible to use cv2.imshow in the remote jupyter notebook or colab. This is the replacement of cv2.imshow for jupyt…☆11Nov 15, 2023Updated 2 years ago
- Museum-quality bit-archive storage management☆11May 8, 2024Updated last year
- Manage lockfiles in PKGBUILDs for upstreams that don't ship them, `updpkgsums` for dependency trees (Arch Linux tooling)☆14Jul 3, 2024Updated last year
- ☆10Feb 3, 2017Updated 9 years ago
- lolly: A user-friendly C++ library☆12Jun 23, 2025Updated 8 months ago
- Bluish gray theme for Hacker News.☆13Jun 8, 2023Updated 2 years ago
- ☆13Feb 13, 2026Updated 2 weeks ago
- GitHub Action workflow to tests breakage of Julia packages on pull requests☆11Mar 20, 2021Updated 4 years ago
- Defer Tag (OmniFocus Plugin)☆10Mar 25, 2022Updated 3 years ago
- AUR Package for ROS 2 Galactic☆10Oct 15, 2023Updated 2 years ago
- Cursos y talleres sobre matemática, computación y estadística☆11Dec 13, 2025Updated 2 months ago
- Experiments with moebius transformations and non-euclidian perspectives.☆12Apr 16, 2023Updated 2 years ago
- toolsuite for analyzing cpp-preprocessor-based software product lines☆12Jul 19, 2023Updated 2 years ago
- Your Army of GPT-4 Powered Coding Buddies (Boost Your Productivity)☆15Jul 4, 2023Updated 2 years ago
- ARSnova is a novel web-based Audience Response System developed at THM.☆17Jan 29, 2021Updated 5 years ago