RocksDB is a persistent key-value store for fast storage environments based on LevelDB and ideas from Apache HBase.
Read more
Author: Steve Emms
5 Best Free and Open Source Proof Assistants
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
Security Onion – platform built by defenders for defenders
Security Onion includes network visibility, host visibility, intrusion detection honeypots, log management, and case management.
Read more
ArrowDL – cross-platform download manager
ArrowDL is a mass download manager. The software lets you download links, pictures, videos from YouTube and other sites
Read more
CrowdSec – modern and collaborative behavior detection engine
CrowdSec is a modern and collaborative behavior detection engine, coupled with a global IP reputation network.
Read more
5 Best Free and Open Source Encrypted FUSE-Based File Systems
Here’s our verdict on the popular encrypted FUSE-based file systems.
Read more
Switcheroo – utility to convert and manipulate images
Switcheroo offers a simple, quick, and easy-to-use tool to convert and manipulate your images. It’s a GUI frontend to ImageMagick.
Read more
optimizt – CLI image optimization tool
optimizt is a command-line image optimization tool. It helps you prepare images during frontend development.
Read more
7 Best Free and Open Source Stock Market Investment Tools
We focus on the best free and open source software that help you make better stock market investment decisions.
Read more
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
YOGA Image Optimizer – convert and optimize JPEG, PNG and WebP images
YOGA Image Optimizer is a graphical interface to convert and optimize JPEG, PNG, and WebP images.
Read more
Ghostfolio – wealth management software built with web technology
Ghostfolio lets individuals keep track of stocks, ETFs or cryptocurrencies and make solid, data-driven investment decisions.
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
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
22 Best Free and Open Source Linux Application Launchers
Application launchers play an integral part in making the Linux desktop a more productive environment to work and play.
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