Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under 6 different graph drawing algorithms: Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen and Jakob Grue Simonsen.
3D CAD tool for creating architectural elements, exporting to multiple formats, and featuring 3D interactive engine in Italian and English.
topCAD program is an easy-to-use multifunctional tools.
Flymaster Designer lets users design and manage instrument screens, and upload layouts.
Model used to analyze sewage networks and simulate surface/subsurface hydrology.
Use for home design, remodeling, interior design, outdoor living.
Collection of tools to measure, convert & analyze colors.
Comments