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
Typová kontrola termov jednoducho typovaného $\lambda$-kalkulu s rozšíreniami
Túto aplikáciu vyvinula Vladyslav Futrak v rámci svojej bakalárskej práce.
https://vladyslav005.github.io/
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é odvodenie jednoducho typovaného $\lambda$-kalkulu
Túto aplikáciu vyvinula Andrea Ferenczová v rámci svojej diplomovej práce.
https://andrea-fer.github.io/type-inference-tool/
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.