PLplot is a scientific plotting package. It is relatively small, portable, freely distributable, and is rich enough to satisfy most users.
Read more
Category: Scientific
Veusz – scientific plotting and graphing software
Veusz is a scientific plotting and graphing program with a graphical user interface, designed to produce publication-ready 2D and 3D plots.
Read more
Ctioga2 – command-line based polymorphic plotting software
Ctioga is a powerful, open source command-line plotting system written in Ruby. It has been designed to rapidly make publication-quality graphs.
Read more
LabPlot – KDE-application for interactive graphing and analysis of scientific data
LabPlot is an open source data analysis and plotting program for the KDE desktop. This software is similar to Origin (a proprietary Windows application).
Read more
GLE – graphics layout engine
GLE (Graphics Layout Engine) is a high quality graphics package for scientists, combining a user friendly interface with a full range of facilities.
Read more
SciDAVis – Scientific Data Analysis and Visualization
SciDAVis is an interactive application aimed at data analysis and publication-quality plotting.
Read more
RLPlot – plotting program to create high quality graphs from data
RLPlot is a graphical user interface based program for displaying scientific data in standard formats.
Read more
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
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
pstoedit – translates PostScript and PDF graphics into other vector formats
pstoedit translates Postscript and PDF files to various editable vector graphic formats including tgif, xfig, PDF graphics, gnuplot format, idraw.
Read more
Machinekit – platform for machine control applications
Machinekit is a platform for machine control applications. It is portable across a wide range of hardware platforms and real-time environments
Read more
OpenCamLib – library aiming to provide computer aided manufacturing (CAM) algorithms
OpenCAMLib (ocl) is a library with Python bindings for creating 3D toolpaths for cnc-machines such as mills and lathes.
Read more
Universal Gcode Sender – gcode platform used for interfacing with advanced CNC controllers
Universal Gcode Sender is a full featured gcode platform for interfacing with CNC controllers like GRBL, TinyG, g2core and Smoothieware.
Read more
LinuxCNC – CNC machine controller
LinuxCNC controls CNC machines. It can drive milling machines, lathes, 3D printers, laser cutters, plasma cutters, and more.
Read more