LinuxLinks

ScyllaDB – real-time big data database

ScyllaDB is a real-time big data database that is API-compatible with Apache Cassandra and Amazon DynamoDB.

KeyDB is a database and a faster drop in alternative to Redis. It offers some enhancements.

Build automation is the process of automating the creation of a software build and the associated processes.

ExTiX is a desktop Linux distribution and live DVD based on Ubuntu.

An intrusion detection system is a device or software application that monitors a network or systems for malicious activity or policy violations.

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.