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
Calculate Linux – distribution optimized for fast deployment
Calculate Linux is a Linux distribution based on Gentoo designed for fast deployment.
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
3 Top Free and Open Source D Web Frameworks
D is a general-purpose systems programming language with a C-like syntax that compiles to native code.
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
Austrumi – live CD Linux distribution
Austrumi is a bootable live CD Linux distribution based on Slackware.
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
PrimTux – educational distribution
PrimTux is a Linux-based operating system. This is a French and educational distribution created for primary school education.
Read more
Tauon now releases its 10 year development anniversary edition
Tauon is billed as the music player of today! It’s that and more. A superb music player with every feature under the sun.
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
Slackel – Linux distribution based on Slackware
Slackel is a Linux distribution based on Slackware and includes tools from Salix.
Read more
Nova – web framework for Erlang
Nova makes it simple to build a fault-tolerant and distributed web application.
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