* [tinymath v1.2.0](https://github.com/orsinium-labs/tinymath) – Fast, small Go float32 math library optimized for constrained environments like microcontrollers and WebAssembly.

* [Fidus Writer v4.1.0](https://github.com/fiduswriter/fiduswriter) – Online collaborative editor designed for academics to handle citations and formulas with flexible publishing layouts.

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