A visual studio code extension to insert Unicode symbols given LaTeX symbol names
☆31Dec 8, 2025Updated 2 months ago
Alternatives and similar repositories for unicode-latex
Users that are interested in unicode-latex are comparing it to the libraries listed below
Sorting:
- Script to check ticketing system for remaining tickets☆11Aug 7, 2016Updated 9 years ago
- Haskell Hoogle search in Visual Studio Code☆13Sep 9, 2018Updated 7 years ago
- LaTeX-style unicode input for Visual Studio Code☆11Mar 28, 2024Updated last year
- VS Code extension for GNU Octave programming☆13Updated this week
- A WYSIWYG Markdown Editor that supports the Markdown features used on GitHub site and beyond☆10Apr 19, 2024Updated last year
- Easy insertion of unicode math symbols☆11May 24, 2025Updated 9 months ago
- Collection of commands and utilities for managing Markdown notes☆12Dec 18, 2021Updated 4 years ago
- Rainbow parentheses and rainbow brackets in JupyterLab☆14Dec 20, 2024Updated last year
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆16Updated this week
- Snippets to quickly insert Shield.io badges into HTML, Markdown, reStructuredText or Textile documents☆32Jun 14, 2022Updated 3 years ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 8 months ago
- A verified compiler for a lazy functional language☆39Updated this week
- This project helps to detect the mathematical formula from the given picture and the same formula is extracted and converted into the lat…☆12Oct 13, 2021Updated 4 years ago
- VehicleSim☆18Apr 8, 2025Updated 10 months ago
- Download your books from Samona as PDFs.☆20Jan 27, 2026Updated last month
- Setoid type theory implementation☆38Aug 24, 2023Updated 2 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- Application for Math formula detection in image/pdf and then recognition☆12Jan 14, 2025Updated last year
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆10Jan 5, 2024Updated 2 years ago
- ☆10Jun 2, 2020Updated 5 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- Project for EE609 Convex Optimization☆12May 6, 2021Updated 4 years ago
- Sparse simplex projection-based Wasserstein k-means☆11Jun 10, 2021Updated 4 years ago
- GLEE: Geometric Laplacian Eigenmap Embedding☆11Mar 7, 2020Updated 5 years ago
- Visualize machine learning models with Netron in VSCode☆15Nov 23, 2025Updated 3 months ago
- ☆10May 3, 2024Updated last year
- WebComponents to enhance your reports☆45Jan 24, 2026Updated last month
- Reproducibility for the "Harmonization and Annotation of Single-cell Transcriptomics data with Deep Generative Models" paper☆13Jul 15, 2022Updated 3 years ago
- 脚本语言 , 解释器 (易用c++扩展 , 易嵌入到c++中)☆13Oct 13, 2015Updated 10 years ago
- Functional Iterator for python☆11May 17, 2021Updated 4 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Static site generation heuristics for Pancake.io☆12Oct 12, 2017Updated 8 years ago
- vscode support for chez shame☆10Dec 3, 2019Updated 6 years ago
- ☆12Apr 15, 2023Updated 2 years ago
- Awk-like tool using python☆11Aug 4, 2020Updated 5 years ago
- A GPGPU library with OpenGL. Intended to be cross platform as possible using the Transform Feedback API.☆10Jul 30, 2018Updated 7 years ago
- (Unofficial) Tensorflow implementation of Adversarial Latent Autoencoder (ALAE, Pidhorskyi et al., 2020)☆11Sep 8, 2020Updated 5 years ago
- fast hierarchical clustering for large-scale single-cell data☆10Jul 11, 2021Updated 4 years ago