Scientific Archives - Page 9 of 57

Machine Learning in Linux: Reor – AI note-taking app

Reor is a private AI personal knowledge management tool. Each note is saved as a Markdown file to a “vault” directory on your machine.

Alpaca is open source software which lets you chat with local AI models.

PyVista offers 3D plotting and mesh analysis through a streamlined interface for the Visualization Toolkit (VTK).

Plots is a graph plotting app for GNOME. Plots makes it easy to visualise mathematical formulae.

Big Data analysis can be performed with data mining software. Here’s the best free tools to perform data analysis on big data.

Google Charts lets users visualize data on their website. It offers a wide range of ready-to-use chart types.

This article recommends the best free and open source software key value stores for Big Data.

A proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration.

The periodic table, in chemistry, is the organized array of all the chemical elements in order of increasing atomic number.

The Lean mathematical library, mathlib, is a unified library of mathematics formalized in the Lean proof assistant.