Typografický systém $\LaTeX$
Generátor kódu typografického systému $\LaTeX$
umožňuje generovanie kódu z webovej aplikácie prostredníctvom používateľsky priateľského UI pre:
- Karnaughove mapy.
- Abstraktné syntaktické stromy.
- Dôkazové stromy.
https://ero67.github.io/latex-code-generator/
Túto aplikáciu vyvinul Erik Laki v rámci svojej bakalárskej práce.
Detekcia špeciálnych symbolov
Táto webová aplikácia deteguje nakreslený symbol a vráti $\LaTeX$ príkaz ako aj potrebný balíček.
Vizualizačné nástroje
Interpreter $\lambda$-kalkulu
Túto aplikáciu vyvinula Andrea Ferenczová v rámci svojej bakalárskej práce.
https://andrea-fer.github.io/lambda-interpreter/
Typová kontrola termov jednoducho typovaného $\lambda$-kalkulu
Túto aplikáciu vyvinul Richard Jurko v rámci svojej diplomovej práce vo funkcionálnom programovacom jazyku Elm.