Popular: Data updated November 4, 2026

Categories

Internet1,367
Communication322
Audio & video908
Graphics & design545
Office & productivity1,132
Developer tools3,156
AI tools539
Security & privacy392
System tools3,151
Games529
Education & science240
Network & IT287

Tinymist 0.13.20 download

An integrated language service for Typst.

Myriad-Dreamin Developer utilities #81 Developer utilities
This is an older version. The current version is 0.15.12. Tinymist 0.15.12 · Released:

Installer files 0.13.20

ArchitectureTypeScopeFile sizeDownloadSHA256
64-bit ZIP → Portable — — github.com VirusTotal
ARM64 ZIP → Portable — — github.com VirusTotal

Link and SHA256 come from the Windows Package Manager community manifest. Compare the hash of the downloaded file before running it.

Release notes

- Bumped typstyle to v0.13.17 by @Enter-tainer in https://github.com/Myriad-Dreamin/tinymist/pull/1979
- See full changelog at https://typstyle-rs.github.io/typstyle/changelog.html#label-v0.13.17%20-%20[2025-08-03]
Editor
- (Fix) Setting VS Code default configuration for invertColors to "never" by @BlueQuantumx in https://github.com/Myriad-Dreamin/tinymist/pull/1987
Server
"Server Features" Were named "Compiler Features"
- (Fix) Made configuration items null-safe in https://github.com/Myriad-Dreamin/tinymist/pull/1988
- (Fix) Corrected export signal handling in https://github.com/Myriad-Dreamin/tinymist/pull/1990 and https://github.com/Myriad-Dreamin/tinymist/pull/1991
- This fixes the issue of exporting PDF with outdated compilations or not exporting at all.
Misc
- feat: maintain workflows for nightly releases by @ParaN3xus in https://github.com/Myriad-Dreamin/tinymist/pull/1986
Full Changelog: https://github.com/Myriad-Dreamin/tinymist/compare/v0.13.18...v0.13.20

https://github.com/Myriad-Dreamin/tinymist/releases/tag/v0.13.20

Most popular in Developer utilities

See all
  1. WinMergeWinMerge is an open source differencing and merging tool for Windows.
  2. jqjq is a lightweight and flexible command-line JSON processor.
  3. x64dbgAn open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
  4. BiomeBiome is a toolchain for web projects, aimed at providing functionalities to maintain them. It offers a formatter and linter, usable via CLI and LSP.
  5. deltaA syntax-highlighting pager for git, diff, and grep output
  6. ValeA syntax-aware linter for prose built with speed and extensibility in mind.
  7. jadxCommand line and GUI tools for producing Java source code from Android Dex and Apk files
  8. dnSpydnSpyEx is a unofficial continuation of the dnSpy project which is a debugger and .NET assembly editor.
  9. DifftasticDifftastic is a structural diff tool that compares files based on their syntax.
  10. Detect It EasyA program for determining types of files.

More from Myriad-Dreamin

See all

Share