Browse free open source Haskell Scientific/Engineering Software and projects below. Use the toggles on the left to filter open source Haskell Scientific/Engineering Software by OS, license, language, programming language, and project status.
A math-inspired CAD program in haskell. CSG, bevels, and shells
A collection of machine-checkend mathematical proofs
Algebraic graphs
A command line tool for articles management.
Functional Arabic Morphology
Power system analysis software
A simple program for comparing data sets with simple algorithms.
Proof Logic : A logical framework for theorem proving