rocq-community / vsc-concealView external linksLinks
Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
☆59Sep 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
Sorting:
- A WYSIWYG Markdown Editor that supports the Markdown features used on GitHub site and beyond☆10Apr 19, 2024Updated last year
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 2 years ago
- ☆18Mar 20, 2022Updated 3 years ago
- vscode extension to view TextMate scope info upon hover☆16Dec 14, 2016Updated 9 years ago
- Part III Maths notes for 2018-19☆20Aug 8, 2022Updated 3 years ago
- embed LaTeX formulas into LaTeX☆27Updated this week
- Bring the power of Tree-sitter to VSCode☆32May 27, 2025Updated 8 months ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆15Jan 19, 2026Updated 3 weeks ago
- ☆10Dec 3, 2019Updated 6 years ago
- https://gridstack-react.pages.dev/☆14Mar 2, 2025Updated 11 months ago
- Self-managed translation project interface☆15Updated this week
- Bring your dotfiles to the host during ssh session and place it into hermetic xxh environment.☆39Apr 29, 2024Updated last year
- ☆21Feb 1, 2026Updated 2 weeks ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 6 months ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- ☆10Jun 2, 2020Updated 5 years ago
- ☆13May 24, 2025Updated 8 months ago
- This OpenERP6 module manages the leasing of products to partners.☆17Mar 17, 2012Updated 13 years ago
- Profitable MT5 Expert Advisors☆19Jan 5, 2026Updated last month
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- Prometheus exporter for NFS-Ganesha☆11Jul 27, 2024Updated last year
- Python implementation of the KDL Document Language☆39May 23, 2023Updated 2 years ago
- ☆11Aug 4, 2019Updated 6 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- Easy snippets to write faster LaTeX (in Visual Studio Code)☆93Oct 11, 2023Updated 2 years ago
- ☆12Jun 24, 2020Updated 5 years ago
- HTML and MD to VanJS Code Converter☆15Jan 26, 2025Updated last year
- ☆11Nov 5, 2024Updated last year
- large scale variational Gaussian state-space models☆14Dec 17, 2025Updated last month
- A Docker image for NFS-Ganesha (NFSv4 only).☆10Feb 1, 2026Updated 2 weeks ago
- Rails without the data loss.☆26Feb 16, 2016Updated 9 years ago
- Gym wrapper for pysc2☆10Sep 16, 2022Updated 3 years ago
- PieMenu widget for FreeCAD☆12Jan 23, 2024Updated 2 years ago
- An AI-augmented testing tool that uses personas and goals to test your documentation set☆29Oct 28, 2025Updated 3 months ago
- Need to convert all your dev-speak into plain English? This might help.☆11Sep 6, 2021Updated 4 years ago