Symbolic parser for Julia language term rewriting using REDUCE algebra
Treebolic hyperbolic visualization for WordNet
Interactive geometry software for Euclidean and non-Euclidean spaces
COmputational fluid dyNamics STRUctured grid CreaTor for 2D airfoils