Tinymist

Tinymist is a comprehensive suite of tools for Typst document authoring, serving as a language server, document compiler, and project manager. It provides a standardized language service via the Language Server Protocol to enable editor features such as autocompletion, navigation, and semantic highlighting.

The project distinguishes itself by integrating a TCP-based live preview server for real-time visual rendering and an advanced static analysis tool that utilizes abstract syntax trees and bidirectional type checking. It also includes a project management system capable of handling multi-file resolution, entry-point pinning, and dependency tracking.

The toolset covers a broad range of capabilities, including automated document export to formats like PDF, HTML, SVG, and Markdown, as well as quality assurance tools for linting, unit testing, and performance profiling. It further provides editor intelligence through symbol browsing, automated refactoring, and context-aware inlay hints.

Features

Language Server Protocol Implementations - Implements the Language Server Protocol to provide editor features like autocompletion, navigation, and semantic highlighting.

Language Servers - Implements the Language Server Protocol to provide autocompletion, diagnostics, and navigation for Typst documents.

TCP Preview Servers - Hosts a dedicated TCP-based server to provide real-time visual rendering of documents during authoring.

Semantic Code Analyzers - Performs semantic analysis to provide symbol definitions, references, and precise syntax highlighting.

Multi-Format Exports - Converts documents into a wide array of formats including SVG, PNG, HTML, and Markdown.

Document Compilers - Transforms source markup into formatted document outputs like PDF, SVG, PNG, or HTML automatically upon saving.

Document Authoring Environments - Provides a comprehensive environment for writing Typst documents with real-time previews and automated exports.

Multi-Format Document Exports - Converts a single source document into multiple distinct output formats including PDF, SVG, PNG, HTML, or Markdown automatically.

PDF Exports - Automatically generates and saves PDF output when specific triggers are met.

Code Completion - Provides intelligent suggestions for identifiers and labels based on real-time document analysis.

Integrated Development Tooling - Integrates a language service with text editors to provide built-in formatting, linting, and compilation.

Code Navigators - Enables navigation of the project via go-to-definition, reference lookups, and symbol outlines.

Static Analysis Tools - Performs AST-based static analysis, bidirectional type checking, and linting to verify Typst source code correctness.

Document Previewers - Renders documents as PDF or SVG with bidirectional navigation between the source code and the output.

Live Preview Servers - Hosts a TCP-based server that renders a live visual preview of documents as they are being authored.

Project-Wide Source Analyzers - Processes all source files in a project via a main entry file to ensure correct cross-file references and diagnostics.

Symbol Navigation - Implements IDE capabilities for jumping from a symbol usage to its declaration.

Typesetting Project Managers - Manages multi-file project resolution, entry-point pinning, and dependency tracking for complex Typst documents.

Live Preview Servers - Hosts a dedicated TCP server to provide real-time visual rendering of documents as they are edited.

Compiler Entry Point Configuration - Allows pinning a specific file as the main entry point to resolve cross-file references for the compiler.

Symbol Definition Resolution - Locates the source declaration of a symbol by analyzing expressions and type information.

Codebase Symbol References - Provides project-wide semantic search to locate and track the usage of symbols across multiple files.

Entry-File-Based Resolution - Tracks a primary entry point and route table to resolve cross-file references and maintain consistent project state.

Editor Plugin Integrations - Integrates with various code editors using a standardized communication protocol via specialized plugins.

Bidirectional Type Checking - Applies bidirectional type checking to verify literals, closures, and destructuring during analysis.

Static Code Analysis - Performs automated scanning of source code to implement type checking, linting, and symbol tracking.

Live Preview Renderers - Implements a live preview system that renders content changes in real-time via web or PDF views.

Code Formatting - Cleans up document layout using integrated formatting engines to ensure consistent style.

Code Formatting and Style - Cleans up document formatting using external engines to ensure a consistent style.

Testing and Quality - Runs integrated linting, unit tests, benchmarks, and coverage analysis to ensure document stability and correctness.

Document Layout Formatting - Reorganizes document layout and applies consistent styling using external formatting engines.

Source Code Formatters - Standardizes code layout using integrated formatting tools to ensure a consistent visual style.

Document to Markdown Converters - Provides the ability to extract semantic information from documents and convert it into formatted Markdown.

Code Formatters - Standardizes source code layout using external formatting engines to ensure a consistent style.

Automated Code Refactoring - Automatically transforms code patterns and adjusts styling using automated refactoring tools.

Code Refactoring Tools - Offers code actions for renaming symbols and applying structural quick fixes to the document.

Debug Adapter Protocol Implementations - Implements a server following the Debug Adapter Protocol to enable interactive debugging within the editor.

Inlay Hint Renderers - Displays inline inlay hints for parameters and hover tooltips for source documentation.

Document Structure Navigators - Generates a hierarchical document outline to facilitate content folding and structural navigation.

Lexical Structure Extraction - Generates a hierarchical tree of lexical structures to enable symbol navigation and code folding.

Input Recording and Playback - Captures and re-executes a sequence of editor events to reproduce specific server states.

Local Package Management - Implements a dedicated view for creating, opening, and listing local packages within the workspace.

Project Bootstrapping Templates - Provides predefined blueprints to generate initial directory structures and configuration files for new projects.

Project Relationship Analysis - Maps dependent files to project entry points using a route table for accurate semantic analysis.

Project Scope Resolution - Determines if documents are managed as independent single files or as part of a coordinated project.

Inlay Hints - Displays inline parameter names and formatted documentation tooltips during active development.

Static Code Linting - Analyzes source code for style violations and common mistakes using configurable triggers.

Symbol Browsing Interfaces - Provides an interface to search and filter document symbols by keyword or category for quick insertion.

Test Watch Modes - Monitors the filesystem for edits and automatically re-runs tests for immediate feedback.

Multi-file Project Managers - Identifies the root entry point in multi-file projects to ensure correct cross-file reference resolution.

Documentation Test Runners - Extracts and executes test functions within documents to verify the correctness of the content.

Document Format Templates - Uses specific templates to transform documents from various formats into rendered PDF documents.

Compiler Environment Management - Defines project roots, package search paths, and input variables to control the compilation and export process.

Function Signatures - Summarizes expected arguments and return types based on definition and type data.

Intermediate HTML Representations - Translates documents into PDF, Markdown, or LaTeX by extracting semantic information from a shared intermediate HTML representation.

Source Code Documentation - Extracts human-readable descriptions and type annotations from source comments for hover display.

Project Structures - Determines whether to treat documents as isolated files or as part of a managed project structure.

Symbol Renamers - Updates a symbol and all its references simultaneously across the project to maintain consistency.

Automated Test Execution - Discovers and executes test functions across the workspace to verify system correctness.

Code Coverage Analysis - Tracks which parts of the code are executed during tests and generates coverage reports.

Code Quality Analyzers - Performs lint checks and analyzes code patterns to enforce project standards.

Static Analysis AST Parsing - Implements static analysis by parsing source code into abstract syntax trees to identify type constraints and definition-use relationships.

Test and Benchmark Execution - Executes tests and benchmarks while collecting coverage data to verify correctness and performance.

Semantic Highlighters - Applies precise syntax highlighting using semantic tokens based on the code structure.

Development Preview Servers - Hosts a dedicated TCP background server for real-time content and layout previewing.

Myriad-Dreamintinymist

Features

Star history