Mirror of https://codeberg.org/czhang03/unicode-math-vscode
☆11Sep 5, 2026Updated 2 weeks 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:
- ☆20Nov 3, 2025Updated 10 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…☆25Jun 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☆15Updated 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.☆17Jun 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 2 years ago
- Straight to the point haskell reference guide☆21Aug 13, 2017Updated 9 years ago
- PennApps rejection simulator.☆20Nov 2, 2018Updated 7 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☆10Dec 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 10 years ago
- List of awesome osu! resources☆20Jul 1, 2026Updated 2 months ago
- A multidimensional array representation and processing library☆12Dec 8, 2020Updated 5 years ago
- Transparent DNS and TCP to HTTP proxy redirector.☆17Mar 5, 2025Updated last year
- 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 9 months ago
- Terminal crossword puzzle player☆25Feb 15, 2026Updated 7 months ago
- Snippets to quickly insert Shield.io badges into HTML, Markdown, reStructuredText or Textile documents☆32Jun 14, 2022Updated 4 years ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Notepad++ Jade syntax highlighter☆15Jun 25, 2016Updated 10 years ago
- An integrated context-aware scanner and parser generator☆24Sep 5, 2026Updated 2 weeks ago
- The easiest way to publish your podcast.☆15Jul 6, 2026Updated 2 months ago
- A framework for accessing bash completions from Python☆19Mar 26, 2025Updated last year
- fast image operations☆18Apr 19, 2026Updated 5 months ago
- ☆16Dec 6, 2025Updated 9 months ago
- Builds your Godot game in a Github Action. Can build to Android, Windows, Mac & Linux.☆19Jul 19, 2020Updated 6 years ago