The Lean mathematical library, mathlib, is a unified library of mathematics formalized in the Lean proof assistant.
Read more
Author: Steve Emms
TEAMGROUP MP44 2TB M.2 NVMe SSD Review
Here’s our review of the TEAMGROUP MP44 2TB M.2 NVMe SSD, a low-cost, DRAM-less NVMe.
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
Varia – simple download manager
Varia is billed as a quick and efficient download manager. It’s a GNOME-based open source utility written in Python.
Read more
Best Free and Open Source Software: May 2024 Updates
May 2024 updates to the largest compilation of recommended free and open source software available for Linux.
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
KBackup – back up your data in a simple, user friendly way
KBackup is an application which lets you back up your data in a simple, user friendly way. The program is designed to be used by non-computer experts.
Read more
Best Free and Open Source Alternatives to Apple DVD Player
DVD Player plays DVDs using your built-in DVD drive or an external DVD drive. We recommend the best free and open source alternatives.
Read more
Kando – pie menu to launch applications, simulate hotkeys, open URLs
Kando is a highly customizable pie menu for the desktop which allows you to create your own menus and actions.
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
One-Click-Backup – Qt-based simple backup software
One-Click-Backup is a simple program to backup folders to an external location.
Read more
Pretzel – fork of Jupyter
Pretzel is billed as a modern replacement for Jupyter Notebooks.
Read more
rough – GTK based app launcher
rough is a GTK based application launcher. This is free and open source software.
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
Best Free and Open Source Alternatives to Apple’s Products
Apple develop a wide range of proprietary software for their operating system. What are the best free and open source alternatives?
Read more
Best Free and Open Source Alternatives to Apple QuickTime Player
QuickTime Player is a multimedia player which handles a wide range of picture, video, audio, and panoramic image formats.
Read more
rlaunch – modern application launcher
rlaunch is a fast, lightweight and modern application launcher for X11.
Read more
Kresus – personal finance management
Kresus is personal management software which runs on a server.
Read more
OpenMoneyBox – budget management
OpenMoneyBox is an application designed to manage small personal budgets in the easiest way.
Read more