#miranda

Miranda Pattern Matching Helper

eugeherrmann

Helps detect simple Miranda pattern matching issues in VS Code.

Miranda Static Helper

msusviela

Basic language support and lightweight static analysis for Miranda in VS Code.

A VS Code extension that provides Miranda language support via an LSP server.

Miranda Formatter

pkoziolas

Conservative formatter for the Miranda functional language: aligns guards, normalizes spaces, and cleans up style while respecting the offside rule.

Miranda runner

SebastianBandera

Miranda Runner aims to provide an easy way to run Miranda code independently from the host machine configuration by using Docker.

Miranda Prelude

martinisrael

Miranda language support: syntax highlighting, autocompletion, and standard Prelude documentation.

Static analyzer for Miranda code: pattern coverage, style, and documentation diagnostics with per-profile configuration.

Miranda REPL Runner

FernandoSpillere

Run Miranda scripts directly from VS Code

Navegación, resumen y mapa de funciones para código Miranda en VS Code.

Contextual explanations, pattern detection, and visual aids for the Miranda programming language in VS Code.

Tracks TODO, FIXME and other annotations in Miranda (.mir) files

Generate Markdown documentation from structured Miranda comments.