Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
☆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
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
- Intellisense and hover in code blocks on markdown files for Visual Studio Code☆13Aug 11, 2021Updated 4 years ago
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆177Jan 10, 2024Updated 2 years ago
- Part III Maths notes for 2018-19☆20Aug 8, 2022Updated 3 years ago
- My setup for writing LaTeX documents☆25Sep 30, 2023Updated 2 years ago
- Bring the power of Tree-sitter to VSCode☆33May 27, 2025Updated 9 months ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆17Feb 27, 2026Updated last week
- embed LaTeX formulas into LaTeX☆28Updated this week
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- Violate Nix philosophy, install Python packages mid-session with `from nixpkgs.scipy import scipy`.☆40Aug 22, 2019Updated 6 years ago
- Prometheus exporter for NFS-Ganesha☆11Jul 27, 2024Updated last year
- 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
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- Real-space void locations from survey reconstruction☆11Oct 29, 2025Updated 4 months ago
- White Cats define Pure functions☆16Nov 4, 2025Updated 4 months ago
- ☆23Updated this week
- This OpenERP6 module manages the leasing of products to partners.☆17Mar 17, 2012Updated 13 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- ☆12May 24, 2025Updated 9 months ago
- unlimitedjs is a minimal JavaScript framework for building production-ready UI with no limitations, full flexibility and zero rules - jus…☆11Sep 10, 2019Updated 6 years ago
- a kubernetes provider for garm☆16Mar 2, 2026Updated last week
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆26Oct 2, 2025Updated 5 months ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆35Feb 20, 2026Updated 2 weeks ago
- ☆11Feb 26, 2026Updated last week
- 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 7 months ago
- Flask(python)+ AngularJS application to control multiple vagrant machines on a headless server.☆17Apr 28, 2016Updated 9 years ago
- Golang Implementation of RLBot☆11May 20, 2022Updated 3 years ago
- Manage SLAs in Redmine!☆14Feb 12, 2026Updated 3 weeks ago
- PieMenu widget for FreeCAD☆12Jan 23, 2024Updated 2 years ago
- A collaborative bibliography of papers related to property-based testing☆16Feb 27, 2026Updated last week
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- Easy snippets to write faster LaTeX (in Visual Studio Code)☆93Oct 11, 2023Updated 2 years ago
- An AI-augmented testing tool that uses personas and goals to test your documentation set☆29Oct 28, 2025Updated 4 months ago
- ☆12Jul 11, 2023Updated 2 years ago
- Terminal Tab Manager - Organize your terminal workflows with an interactive TUI☆32Mar 2, 2026Updated last week