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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15May 5, 2022Updated 3 years ago
- ☆12Aug 10, 2020Updated 5 years ago
- Overleaf git bridge, fork of https://gitlab.com/axkibe/olgitbridge with support for the Overleaf v4 frontend☆22Mar 21, 2024Updated 2 years ago
- 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
- ☆14Jul 9, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Course website for 07-131, built with Jekyll.☆11Oct 6, 2022Updated 3 years ago
- A collaborative editor for local files☆11Sep 22, 2024Updated last year
- This is a LSQR-CUDA implementation written by Lawrence Ayers under the supervision of Stefan Guthe of the GRIS institute at the Technisch…☆13May 11, 2023Updated 2 years ago
- 🔑 simple dmenu / GnuPG integration☆10Jul 27, 2020Updated 5 years ago
- Watching TeX digest tokens☆28Jan 5, 2024Updated 2 years ago
- New way to do academic writing.☆22Jan 14, 2021Updated 5 years ago
- Custom complete for OmniFocus☆11May 31, 2024Updated last year
- Defer Tag (OmniFocus Plugin)☆10Mar 25, 2022Updated 4 years ago
- A flexible pinentry script for GNUpg. Uses dmenu by default.☆17Jan 10, 2025Updated last year
- 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.
- Self-host ChatGPT with GPT3.5/GPT4 using your own API key☆14May 19, 2024Updated last year
- Unofficial browser extension for extending the online LaTeX editor Overleaf☆36Mar 1, 2025Updated last year
- Hearthstone by golang ， 用go实现炉石传说☆12Mar 2, 2023Updated 3 years ago
- LaTeX Cookbook, published by Packt☆62Mar 10, 2024Updated 2 years ago
- An in-browser Beamer presentation viewer☆17Oct 23, 2023Updated 2 years ago
- A console-based recreation of Hearthstone made in NodeJS☆16Updated this week
- VS Code Teletype extension for Creating CoEditing skeleton for Eclipse Che and Theia☆17Feb 15, 2023Updated 3 years ago
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆22May 7, 2021Updated 4 years ago
- VS Code and Code-Server Collaboration Plugin☆15Jul 30, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A template for recipes in Typst☆18May 11, 2023Updated 2 years ago
- Date Calculator workflow for Alfred☆15Nov 28, 2022Updated 3 years ago
- This a ported unpacker for JavaScript files that were packed with Dean Edwards JavaScript's Packer.☆18Nov 16, 2015Updated 10 years ago
- View locations of all Share Now cars.☆15May 19, 2020Updated 5 years ago
- ☆18Nov 23, 2025Updated 5 months ago
- GUI for tlmgr written in Scala☆28Sep 14, 2021Updated 4 years ago
- Home dashboard central server☆22Oct 23, 2025Updated 6 months ago
- Museum-quality bit-archive storage management☆11Mar 25, 2026Updated last month
- Learning from Unlabelled Videos using Contrastive Predictive Neural 3D Mapping☆31Jul 25, 2022Updated 3 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.
- ☆16Jul 15, 2023Updated 2 years ago
- A series of helpful functions for scripting OmniFocus with Omni Automation☆15Jul 7, 2023Updated 2 years ago
- Console based chat application boilerplate for gpt-3.5-turbo and gpt-4 model☆20May 5, 2023Updated 2 years ago
- Stream video from BitTorrent and cast directly to Smart TV (DLNA / UPNP media renders)☆18Apr 23, 2026Updated last week
- selfhosted chatgpt like service using openai apis (with APIs + Frontend and Session Storage)☆14Mar 8, 2023Updated 3 years ago
- A library to access the information located on Sakai installations.☆16Jul 12, 2018Updated 7 years ago
- This alternative to Zoom offers a secure, end-to-end encrypted way to video chat from the safety of your terminal.☆33Apr 17, 2020Updated 6 years ago