Prettify Symbols Mode for Visual Studio Code
☆60Sep 8, 2023Updated 2 years ago
Alternatives and similar repositories for vsc-conceal
Users that are interested in vsc-conceal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 3 years ago
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆184Jan 10, 2024Updated 2 years ago
- LaTeX-style unicode input for Visual Studio Code☆11Mar 28, 2024Updated 2 years ago
- New icon theme for Linux with dualtone☆11Updated this week
- Notes on setting up systems within educational settings☆11Apr 27, 2026Updated 4 months 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.
- https://gridstack-react.pages.dev/☆13Mar 2, 2025Updated last year
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- ☆10Dec 3, 2019Updated 6 years ago
- a simple tool to use Animoji/Memoji with a green screen☆13Jul 26, 2024Updated 2 years ago
- AsciiMath to LaTeX converter☆27Apr 19, 2022Updated 4 years ago
- Networking library based on anyio☆10Jun 29, 2026Updated 2 months ago
- My setup for writing LaTeX documents☆25Sep 30, 2023Updated 2 years ago
- Nostr relay running on Cloudflare Workers☆20Jun 20, 2026Updated 2 months ago
- Prototype for mpl-gui module☆17Jul 20, 2026Updated last month
- 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.
- Script that looks at the YAML metadata in a markdown file and runs pandoc for you.☆12Nov 28, 2021Updated 4 years ago
- Material associated with Physics Report "Data science applications to string theory"☆12Jul 8, 2026Updated last month
- An esoteric programming language where the program is a Git repository☆13Jan 21, 2022Updated 4 years ago
- A writepolicy plugin for Strfry relays☆17Sep 17, 2024Updated last year
- Mono Dark Flattr is a fork of NitruxSA Flattr icon theme for Linux desktops that aims to combine the latest flat design trend with Ubunt…☆21Jul 29, 2015Updated 11 years ago
- Controlling the Nintendo Switch with Lisp☆12Mar 12, 2022Updated 4 years ago
- A parser library for Pony.☆17Feb 20, 2025Updated last year
- A multidimensional array representation and processing library☆12Dec 8, 2020Updated 5 years ago
- A WIP TAS editor for Nintendo Switch, especially SMO, TASing☆11Jun 15, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆12Apr 19, 2024Updated 2 years ago
- ☆13Dec 28, 2023Updated 2 years ago
- Real-space void locations from survey reconstruction☆13Oct 29, 2025Updated 10 months ago
- nvim config 2024-2025☆14Apr 14, 2025Updated last year
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- Fast string seaching for node.js ( aho-corasick algorithm )☆12Jan 24, 2024Updated 2 years ago
- Apple Encrypted Archive☆28Sep 26, 2025Updated 11 months ago
- Simple Directmedia Layer☆10Jun 10, 2026Updated 2 months ago
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆16Sep 7, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13Jul 25, 2026Updated last month
- Manage and update your installed fonts.☆27Feb 3, 2025Updated last year
- ☆17May 14, 2021Updated 5 years ago
- LTeX: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others☆29Jul 15, 2024Updated 2 years ago
- 🛠 Borland C++ IDE on Linux for local development☆15Mar 8, 2024Updated 2 years ago
- ☆11Jul 4, 2022Updated 4 years ago
- ☆20Jan 31, 2022Updated 4 years ago