A browser extension to convert TeX to Unicode in browser inputs.
☆69Aug 23, 2025Updated last year
Alternatives and similar repositories for tex-to-unicode
Users that are interested in tex-to-unicode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- Astview is a graphical viewer for abstract syntax trees☆25Mar 26, 2022Updated 4 years ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆17Aug 23, 2026Updated last week
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 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.
- ☆29Jun 23, 2022Updated 4 years ago
- CoDi: Commutative Diagrams for TeX☆31Jul 22, 2025Updated last year
- Working through Statistical Rethinking by Richard McElreath☆10Sep 1, 2020Updated 6 years ago
- Template to effortlessly build math-rich websites☆41Jan 7, 2022Updated 4 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Wildbits signaling server.☆13Oct 31, 2023Updated 2 years ago
- Set monad☆19Jun 11, 2023Updated 3 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 4 years ago
- Convert GitHub project releases to Archlinux package, with autoupdate☆12Updated this week
- 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.
- Prover9 is a resolution and paramodulation-based theorem prover for first-order and equational logic, and Mace4 searches for finite count…☆16Aug 13, 2026Updated 3 weeks ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆36May 2, 2026Updated 4 months ago
- Tag-based webview of LaTeX documents☆34May 28, 2026Updated 3 months ago
- ☆12May 14, 2023Updated 3 years ago
- Slides from the "Julia for HPC" minisymposium at JuliaCon 2022☆19Jul 28, 2022Updated 4 years ago
- Timeline☆17Jan 5, 2023Updated 3 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 4 years ago
- Provide smarter tab names form Atom editor.☆14Dec 14, 2015Updated 10 years ago
- ☆12Jan 4, 2023Updated 3 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.
- Reimplementation of TeX in Haskell: pre-alpha☆32Apr 24, 2014Updated 12 years ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆12Jun 11, 2026Updated 2 months ago
- Large scale decomposition algorithm (Lagrangian relaxation, Benders decomposition & Column generation) for CDN communication network.☆11Apr 17, 2018Updated 8 years ago
- VSCode extension for bTeX.☆20Nov 24, 2023Updated 2 years ago
- Worksheets and lecture notes for my math courses for school students (in German)☆10Feb 12, 2026Updated 6 months ago
- A linguistic gloss formatter for several mark-up languages.☆12Apr 10, 2026Updated 4 months ago
- ☆17Jun 10, 2022Updated 4 years ago
- Nirah is a project aimed at automatically wrapping verilator C++ models in python in order for high level, extendable control and verific…☆12Mar 6, 2019Updated 7 years ago
- Spawn multiple concurrent unix terminals in Discord☆11Jun 1, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Password input component for Ink☆16Feb 17, 2019Updated 7 years ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 5 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Mar 29, 2017Updated 9 years ago
- A tiny tikzzz editor in the browser☆10Mar 29, 2025Updated last year
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated 7 months ago
- A web-app to help you build grid-layouts for your web-app☆11Mar 8, 2021Updated 5 years ago
- Run a shell command when you save a file in Atom☆20Jul 18, 2020Updated 6 years ago