Browse free open source Scientific/Engineering software and projects below. Use the toggles on the left to filter open source Scientific/Engineering software by OS, license, language, programming language, and project status.
Information Manager(split/analyze/compare/combine).
proof verifier for mathematical proofs and documentation generator
Concise spatial query and representation system (c-squares)