RLPlot is a graphical user interface based program for displaying scientific data in standard formats.
Read more
Category: Scientific
ZeGrapher – open source 2D math and data plotter
ZeGrapher is an easy to use math plotter. It can plot functions, sequences, parametric equations and data on the plane.
Read more
13 Best Free and Open Source Python Data Analysis
Here’s our verdict of the finest free and open source Python-based data analysis tools captured in a legendary LinuxLinks-style ratings chart.
Read more
Isabelle – generic proof assistant
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language.
Read more
Coq – formal proof management system
Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read more
Agda – interactive system for writing and checking proofs
Agda is a proof assistant. It is an interactive system for writing and checking proofs.
Read more
Matita – experimental, interactive theorem prover
Matita (means pencil in italian) is an experimental, interactive theorem prover.
Read more
PSPP – statistical analysis of sampled data
PSPP is a command-line program for statistical analysis of sampled data. It is intended as a free replacement of the proprietary program, SPSS.
Read more
SOFA Statistics – statistics, analysis, and reporting package
Statistics Open For All (SOFA) is a user-friendly, open source statistics, analysis, and reporting package. The goal is flexible input and beautiful output.
Read more
JASP – statistical package
JASP aims to be a complete statistical package for both Bayesian and Frequentist statistical methods, that is easy to use and familiar to users of SPSS.
Read more