A proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration.
Read more
Category: Scientific
periodic-table-cli is an interactive periodic table of elements app for the console
The periodic table, in chemistry, is the organized array of all the chemical elements in order of increasing atomic number.
Read more
10 Best Free and Open Source Linux Data Science Notebook Software
A notebook interface is a virtual collaborative environment which contains computer code and rich text elements. Here’s the best free notebook software.
Read more
Lean – programming language and theorem prover
The Lean mathematical library, mathlib, is a unified library of mathematics formalized in the Lean proof assistant.
Read more
D3 – JavaScript library for bespoke data visualization
D3 (or D3.js) is a JavaScript library for visualizing data. Its low-level approach is built on web standards offers unparalleled flexibility.
Read more
Graph3d – interactive visualization chart
Graph3d is an interactive visualization chart to draw data in a three dimensional graph. Graph3d uses HTML canvas to render graphs
Read more
Koia – web application for visualizing and analyzing table-like data structures
Koia is an angular-based, a privacy-focused open-source web application for visualizing and analyzing table-like data structures.
Read more
Leaflet – JavaScript library for mobile-friendly interactive maps
Leaflet is a hugely popular JavaScript library for mobile-friendly interactive maps.
Read more
Pretzel – fork of Jupyter
Pretzel is billed as a modern replacement for Jupyter Notebooks.
Read more
RAWGraphs – web-based tool for data visualization
RAWGraphs is a data visualization framework built with the goal of making the visual representation of complex data easy.
Read more
5 Best Free and Open Source CNC Software
CNC (also known as numerical control or computer numerical control) is the automated control of machining tools (such as milling machines, lathes, 3d printers, laser cutters, plasma cutters, robot arms, hexapods) by means of a computer.
Read more
gSender – connect to and control Grbl-based CNCs
gSender is a feature-packed CNC interface application.
Read more
Eye Care: Best Free Linux Software to Look after your Eyes
Look after your eyes with this free and open source software.
Read more
ZenBreak – menu bar app that reminds you to take breaks
ZenBreak simply reminds you to take a break from the screen, it has customisable behaviour and appearance to suit everyone needs.
Read more
BreakTimer – manage periodic breaks
BreakTimer allows you to set up customizable breaks and will remind you to take them.
Read more