LinuxLinks

xmake – cross-platform build utility based on Lua

xmake is a modern build tool that aims to be simple, fast, and offering powerful dependency package integration.

RocksDB is a persistent key-value store for fast storage environments based on LevelDB and ideas from Apache HBase.

We have compiled a list of 4 best F# static site generators. These tools are released under a freely distributable license.

Redcore Linux shares the same idea as its defunct ancestor, Kogaion Linux: to bring the power of Gentoo Linux to the masses.

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

Security Onion includes network visibility, host visibility, intrusion detection honeypots, log management, and case management.

ArrowDL is a mass download manager. The software lets you download links, pictures, videos from YouTube and other sites

CrowdSec is a modern and collaborative behavior detection engine, coupled with a global IP reputation network.

Here’s our verdict on the popular encrypted FUSE-based file systems.

Qubes OS and Whonix are an ideal choice for regular computing tasks and also offer strong anonymity for browsing the web.