⌨ Importable dictionary for typing math symbols more easily on your Android phone by using keyboard shortcuts inspired by LaTeX

A modified extractor for the CROHME handwritten math symbols dataset.

Emacs minor mode for entering unicode math symbols

Add Math Font into your Tinymce - plugin

A collection of some packages I modified for my own use

A native Windows keyboard layout that allows for simple typing of complex characters.

Development repository: https://github.com/Axel186/mathsymbols-tinymce-plugin

Simple app to detect math symbols and get their latex code

Make programming in Agda with Neovim less terrible (according to me). Essentially a less-annoying digraphs tool.