Easy insertion of unicode math symbols
☆11May 24, 2025Updated last year
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:
- ☆20Nov 3, 2025Updated 8 months ago
- 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 3 years ago
- Music from the genome☆10Dec 8, 2014Updated 11 years ago
- 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.
- 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 4 years ago
- Simulate System76 EC with area8051 emulator☆12Mar 2, 2024Updated 2 years ago
- design-it's schematics☆13Updated this week
- 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 4 years ago
- Virtual Circuit Board blueprint tool☆11May 27, 2022Updated 4 years ago
- A GUI for tagging and managing document metadata for books, textbooks, or articles.☆18Jun 16, 2023Updated 3 years ago
- A package manager for Godot using NPM☆17Jan 11, 2023Updated 3 years ago
- Another Weibo Library☆10Jan 20, 2017Updated 9 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.
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- thingy to manage bn requests☆15Jan 5, 2025Updated last year
- HD texture pack for Mindustry☆11Sep 10, 2024Updated last year
- PennApps rejection simulator.☆20Nov 2, 2018Updated 7 years ago
- Straight to the point haskell reference guide☆21Aug 13, 2017Updated 8 years ago
- EasyCTF IV☆15Oct 27, 2020Updated 5 years ago
- A LaTeX template for a journal revision letter (or cover letter)☆15Feb 26, 2024Updated 2 years ago
- [ARCHIVED] Lite XL Website☆11Dec 5, 2024Updated last year
- A collection of helpers for handlebars (rust) to manage string, json, yaml, toml, path, file, http request.☆36Dec 16, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [deprecated, moving to https://github.com/JanJoris/oh-my-posh] a easy to use powershell theme manager☆10Aug 21, 2016Updated 9 years ago
- List of awesome osu! resources☆20Jul 1, 2026Updated 3 weeks ago
- Transparent DNS and TCP to HTTP proxy redirector.☆17Mar 5, 2025Updated last year
- A multidimensional array representation and processing library☆12Dec 8, 2020Updated 5 years ago
- A MongoDB data browser for the console☆12May 9, 2021Updated 5 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆31Dec 8, 2025Updated 7 months ago
- Snippets to quickly insert Shield.io badges into HTML, Markdown, reStructuredText or Textile documents☆32Jun 14, 2022Updated 4 years ago
- Terminal crossword puzzle player☆25Feb 15, 2026Updated 5 months ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Notepad++ Jade syntax highlighter☆15Jun 25, 2016Updated 10 years ago
- An integrated context-aware scanner and parser generator☆23Dec 4, 2023Updated 2 years ago
- The easiest way to publish your podcast.☆15Jul 6, 2026Updated 2 weeks ago
- A framework for accessing bash completions from Python☆19Mar 26, 2025Updated last year
- ☆16Dec 6, 2025Updated 7 months ago
- fast image operations☆18Apr 19, 2026Updated 3 months ago
- Builds your Godot game in a Github Action. Can build to Android, Windows, Mac & Linux.☆19Jul 19, 2020Updated 6 years ago