* [Temml v0.14.0](https://github.com/ronkok/Temml) – LaTeX-to-MathML conversion utility in JavaScript designed to be lightweight.

* [Carta carta-md-v4.11.5](https://github.com/BearToCode/carta) – Lightweight, fast, extensible Svelte Markdown editor and viewer.

* [Litex 1.0.6-beta](https://github.com/litexlang/golitex) – Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.