Jape is a configurable graphical formal-proof calculator that enables users to define logics, view proofs, and more. It supports sequent calculus, natural deduction, functional programming, and operational semantics.
Turn your favorite photos into greeting cards and personalize many templates with a click of the mouse.
topCAD program is an easy-to-use multifunctional tools.
Model used to analyze sewage networks and simulate surface/subsurface hydrology.
3D CAD tool for creating architectural elements, exporting to multiple formats, and featuring 3D interactive engine in Italian and English.
Flymaster Designer lets users design and manage instrument screens, and upload layouts.
Collection of tools to measure, convert & analyze colors.
Use for home design, remodeling, interior design, outdoor living.
Comments