ZeGrapher is an easy to use math plotter. It can plot functions, sequences, parametric equations and data on the plane.
Read more
The Linux Portal Site
ZeGrapher is an easy to use math plotter. It can plot functions, sequences, parametric equations and data on the plane.
Read more
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 is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language.
Read more
Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read more
Agda is a proof assistant. It is an interactive system for writing and checking proofs.
Read more
Matita (means pencil in italian) is an experimental, interactive theorem prover.
Read more
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
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 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
This article focuses on selecting the best open source software for physics and physics education. Hopefully there will be something for interest here for all budding physicists.
Read more
pstoedit translates Postscript and PDF files to various editable vector graphic formats including tgif, xfig, PDF graphics, gnuplot format, idraw.
Read more
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 (ocl) is a library with Python bindings for creating 3D toolpaths for cnc-machines such as mills and lathes.
Read more
Universal Gcode Sender is a full featured gcode platform for interfacing with CNC controllers like GRBL, TinyG, g2core and Smoothieware.
Read more
LinuxCNC controls CNC machines. It can drive milling machines, lathes, 3D printers, laser cutters, plasma cutters, and more.
Read more
folium builds on the data wrangling strengths of the Python ecosystem and the mapping strengths of the Leaflet.js library.
Read more
Glue is an open source Python library to explore relationships within and between related datasets.
Read more
GeoViews is an open source Python library that makes it easy to explore and visualize any data that includes geographic locations. It has particularly powerful support for multidimensional meteorological and oceanographic datasets, such as those used in weather, climate, and
Read more
Datashader is a library for rasterizing large amounts of data into beautiful, accurate images. It automates the process of creating meaningful representations of large amounts of data.
Read more
Glumpy is an open source Python library for scientific visualization that is both fast, scalable and beautiful. Glumpy offers an intuitive interface between NumPy and modern OpenGL.
Read more