Redcore Linux shares the same idea as its defunct ancestor, Kogaion Linux: to bring the power of Gentoo Linux to the masses.
Read more
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
Whonix on Qubes: The Most Secure Way to Use Tor
Qubes OS and Whonix are an ideal choice for regular computing tasks and also offer strong anonymity for browsing the web.
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
Peropesis – small-scale, command-line based Linux distribution
Peropesis is a small-scale, minimalist, command-line-based Linux operating system.
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
Gentoo – flexible source-based Linux distribution
Gentoo is a very actively maintained Linux distribution which builds (compiles) and installs system packages from source code
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
Reasons Your Linux System Needs an Antivirus
To make the long story short, here are a few reasons your Linux system needs an antivirus.
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
6 Top Free and Open Source Erlang Web Frameworks
One of the types of software that’s important for a web developer is the web framework. We explore Erlang web frameworks.
Read more
4 Hot Free and Open Source PHP Application Servers
An application server is computer software which provides the business logic for an application program.
Read more