ZeGrapher is an easy to use math plotter. It can plot functions, sequences, parametric equations and data on the plane.
Read more
Category: Scientific
Isabelle – generic proof assistant
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language.
Read more
Rocq Prover – formal proof management system
Rocq Prover 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 software
PSPP is statistical analysis software with a graphical interface, SPSS-compatible syntax, data transformations, regression and charts.
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 – control advanced CNC controllers
Universal Gcode Sender is a cross-platform G-code sender with visualisation, probing, jogging, design tools and controller support.
Read more
LinuxCNC – CNC machine controller
LinuxCNC is a powerful CNC machine controller for mills, lathes, plasma cutters, robots and other computer-controlled machinery.
Read more
folium – interactive geographic maps using Leaflet
folium creates interactive geographic maps with Leaflet, markers, choropleth layers, GeoJSON overlays and geographic controls.
Read more
Glue – multidimensional linked-data exploration
Glue explores linked multidimensional datasets through coordinated plots, interactive selections, data links and extensible views.
Read more
GeoViews – geographic data visualisation
GeoViews creates geographic visualisations with map projections, geospatial features, multidimensional grids and interactive plots.
Read more
Datashader – visualise massive datasets accurately
Datashader visualises massive datasets using rasterization, aggregation, colour mapping and interactive plotting integrations.
Read more
Glumpy – GPU-accelerated scientific visualisation
Glumpy creates GPU-accelerated scientific graphics through NumPy integration, OpenGL shaders, textures and reusable visuals.
Read more
Pygal – SVG charting library
Pygal generates configurable SVG charts with reusable styles, interactive tooltips, multiple series and web-friendly output.
Read more
PyQtGraph – fast scientific plotting and GUI graphics
PyQtGraph provides fast scientific plotting, image analysis, ROI controls and real-time data display in Qt desktop applications.
Read more