Prettify Symbols Mode for Visual Studio Code
☆60Sep 8, 2023Updated 3 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
- LaTeX-style unicode input for Visual Studio Code☆11Mar 28, 2024Updated 2 years ago
- ☆10Apr 28, 2017Updated 9 years ago
- ☆18Mar 20, 2022Updated 4 years ago
- A VS Code extension that provides language support for prolog☆17Mar 2, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- https://gridstack-react.pages.dev/☆13Mar 2, 2025Updated last year
- Rust binding for tcc☆15Jul 24, 2023Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- My setup for writing LaTeX documents☆25Sep 30, 2023Updated 3 years ago
- Make a PDF file by writing kind of like HTML and CSS.☆16Jan 3, 2023Updated 3 years ago
- Prototype for mpl-gui module☆17Sep 22, 2026Updated 2 weeks ago
- Script that looks at the YAML metadata in a markdown file and runs pandoc for you.☆12Nov 28, 2021Updated 4 years ago
- A multidimensional array representation and processing library☆12Dec 8, 2020Updated 5 years ago
- Website of the Computational Physics Group @ GT☆10Oct 3, 2026Updated last week
- 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.
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆525Feb 18, 2026Updated 7 months ago
- Real-space void locations from survey reconstruction☆13Oct 29, 2025Updated 11 months ago
- Code for Learning Sparse Nonlinear Dynamics via Mixed Integer Optimization☆16Jun 13, 2022Updated 4 years ago
- nvim config 2024-2025☆14Apr 14, 2025Updated last year
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- Chrome extension and Firefox addon which adds keyboard navigation keys to the arXiv☆12Mar 31, 2025Updated last year
- Fast string seaching for node.js ( aho-corasick algorithm )☆12Jan 24, 2024Updated 2 years ago
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆16Sep 7, 2021Updated 5 years ago
- ☆13Sep 4, 2026Updated last month
- 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.
- Use multiple bibliographies in a single Typst document—Moved to https://codeberg.org/ensko/typst-alexandria☆30Dec 11, 2025Updated 9 months ago
- Manage and update your installed fonts.☆27Feb 3, 2025Updated last year
- LTeX: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others☆29Jul 15, 2024Updated 2 years ago
- An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.☆15Mar 5, 2026Updated 7 months ago
- Experimental repo for Odelia project based on HPE platform. This repo contains multiple models for histopathology and radiology training.☆14Apr 24, 2026Updated 5 months ago
- ☆11Jul 4, 2022Updated 4 years ago
- ☆20Jan 31, 2022Updated 4 years ago
- A programming language for one-liner method chain lovers!☆24Dec 30, 2023Updated 2 years ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Aug 28, 2024Updated 2 years ago
- 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.
- ☆15Sep 5, 2024Updated 2 years ago
- Asciimath parser☆26Mar 11, 2025Updated last year
- ☆16Sep 10, 2025Updated last year
- Simple and intuitive time formatting using clock emoji.☆12Jan 1, 2017Updated 9 years ago
- The context-free grammar defining the snarXiv (http://snarxiv.org)☆15May 26, 2019Updated 7 years ago
- ☆27Nov 1, 2021Updated 4 years ago
- A collection of notebooks for black hole perturbation theory calculations in GR and modified gravity.☆13Jun 8, 2026Updated 4 months ago