Satellite Procedure Execution Language and Library
Generates Latin squares and counts their transversals
Verification via biSimulations of Max-Plus-Linear models
Subtitle translator from one natural language to other.
Virastyar is an spell checker for low-resource languages
Proofreading Software for 20+ Languages
Arabic Spell Checker by ALECSO
Trofast is an intelligent spell checker.