Easy insertion of unicode math symbols
☆11May 24, 2025Updated 9 months ago
Alternatives and similar repositories for unicode-math-vscode
Users that are interested in unicode-math-vscode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NeoVim plugin for interacting with Agda written in Lua☆19Jan 31, 2024Updated 2 years ago
- Semantic version parsing and comparison for Rust, based on the node-semver package.☆10Nov 22, 2021Updated 4 years ago
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆26Jun 30, 2023Updated 2 years ago
- Music from the genome☆10Dec 8, 2014Updated 11 years ago
- Rust library to convert RGB 24-bit colors into ANSI 256 (8-bit) color codes with zero dependencies and at compile-time.☆14May 24, 2022Updated 3 years ago
- Simulate System76 EC with area8051 emulator☆12Mar 2, 2024Updated 2 years ago
- Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth☆10Dec 28, 2018Updated 7 years ago
- Cobalt2 colorscheme for vim☆12Jun 9, 2022Updated 3 years ago
- https://freearpa.lina.sh☆15Jul 18, 2025Updated 8 months ago
- A package manager for Godot using NPM☆17Jan 11, 2023Updated 3 years ago
- Another Weibo Library☆10Jan 20, 2017Updated 9 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- design-it's schematics☆10Updated this week
- EasyCTF IV☆15Oct 27, 2020Updated 5 years ago
- HD texture pack for Mindustry☆11Sep 10, 2024Updated last year
- A collection of helpers for handlebars (rust) to manage string, json, yaml, toml, path, file, http request.☆34Dec 16, 2024Updated last year
- Virtual Circuit Board blueprint tool☆11May 27, 2022Updated 3 years ago
- thingy to manage bn requests☆14Jan 5, 2025Updated last year
- [ARCHIVED] Lite XL Website☆11Dec 5, 2024Updated last year
- List of awesome osu! resources☆19Feb 23, 2021Updated 5 years ago
- Straight to the point haskell reference guide☆21Aug 13, 2017Updated 8 years ago
- A LaTeX template for a journal revision letter (or cover letter)☆15Feb 26, 2024Updated 2 years ago
- A MongoDB data browser for the console☆12May 9, 2021Updated 4 years ago
- Transparent DNS and TCP to HTTP proxy redirector.☆17Mar 5, 2025Updated last year
- [deprecated, moving to https://github.com/JanJoris/oh-my-posh] a easy to use powershell theme manager☆10Aug 21, 2016Updated 9 years ago
- Terminal crossword puzzle player☆25Feb 15, 2026Updated last month
- A multidimensional array representation and processing library☆12Dec 8, 2020Updated 5 years ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- An integrated context-aware scanner and parser generator☆22Dec 4, 2023Updated 2 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆31Dec 8, 2025Updated 3 months ago
- Snippets to quickly insert Shield.io badges into HTML, Markdown, reStructuredText or Textile documents☆32Jun 14, 2022Updated 3 years ago
- No more "Load more"! >:3☆21Oct 27, 2024Updated last year
- ☆10Dec 27, 2025Updated 2 months ago
- A framework for accessing bash completions from Python☆19Mar 26, 2025Updated 11 months ago
- fast image operations☆18Mar 3, 2026Updated 2 weeks ago
- The easiest way to publish your podcast.☆15Feb 3, 2026Updated last month
- Builds your Godot game in a Github Action. Can build to Android, Windows, Mac & Linux.☆19Jul 19, 2020Updated 5 years ago
- A chart generation system for osu!Taiko.☆19Jun 4, 2021Updated 4 years ago
- Haskell bindings to the Java Native Interface☆38Oct 10, 2016Updated 9 years ago