Extensions
VSquirrel Prover
tresml-lang
VScod{e,ium} extension for Squirrel proof assistant.
Shapeshift — Paste Anything, Get the Right Code
1046prt
Detects what's on your clipboard and offers contextual code transforms on paste.
Mårran Language Support
Fancryer
Syntax highlighting for Mårran language
Birta Writer - Visual Markdown
BirtaLabs
Obsidian-friendly visual Markdown editor with broad support for wikilinks, callouts, tables, Mermaid, LaTeX, and rich web embeds.
Advanced Enterprise Code Compliance Auditor
srijhansi02
Professional static code quality analyzer using real-time AST parsing.
Refactory
mark-ku
Convention-aware refactorings for C#, React/TypeScript, Python, Go, Java, Rust and more — one keystroke, your project's conventions.
TeaCSS
yiqilaitech
TeaCSS language support: completion, hover, color preview, references, and token syntax highlighting.
Inkograph Diagrams
squora
Render Inkograph diagrams inside Markdown previews, with syntax highlighting for .nib files and ```inkograph code fences.
Skeleton DSL Support
yorun
Language support for Skeleton, an open-source DSL for describing software architecture.
Katari
katari-lang
Syntax highlighting and language support for the Katari language.
bqls
kitagry
BigQuery language server client for VSCode
Keel Programming Language
horacehoff
Syntax highlighting for the Keel programming language