Matita (means pencil in italian) is an experimental, interactive theorem prover.
Read more
Category: Scientific
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
folium – visualize data in a Leaflet map
folium builds on the data wrangling strengths of the Python ecosystem and the mapping strengths of the Leaflet.js library.
Read more
Glue – Multi-Dimensional Linked-Data Exploration
Glue is an open source Python library to explore relationships within and between related datasets.
Read more
GeoViews – Explore and Visualize Data that includes Geographic Locations
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 – Data Rasterization Pipeline
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 – Interface between NumPy and OpenGL – Python Library
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
Pygal – Dynamic SVG Charting Library
PYthon svg GrAph plotting Library (pygal) is a dynamic SVG charting library written in Python.
Read more
PyQtGraph – Scientific Graphics and GUI Library for Python
PyQtGraph is a pure-python graphics and GUI open source library built on PyQt4 / PySide and NumPy. It’s intended for use in mathematics / scientific / engineering applications.
Read more
bqplot – Interactive Plotting Framework for the Jupyter Notebook
bqplot is a Grammar of Graphics-based interactive plotting framework for the Jupyter notebook.
Read more
plotnine – Implementation of a Grammar of Graphics in Python
plotnine is an implementation of a grammar of graphics in Python. It’s based on ggplot2. The grammar allows users to compose plots by explicitly mapping data to the visual objects that make up the plot.
Read more
Plotly Python Library – Interactive, Browser-based Graphing Library for Python
Plotly’s Python browser-based graphing library makes interactive, publication-quality graphs online.
Read more
Vega-Altair – Declarative Statistical Visualization in Python
Vega-Altair is a declarative statistical visualization library for Python, based on Vega and Vega-Lite. This means you can write Python but output Vega-Lite.
Read more