Technology

svlint

github.com

svlint is a SystemVerilog linter and code style checker for hardware design and verification. Create...

bottom

github.com

bottom is a customizable cross-platform graphical process and system monitor for the terminal, inspi...

Fluent Bit

github.com

Fluent Bit is a fast and lightweight log processor and forwarder that enables collecting, parsing, f...

Docker Compose

github.com

Docker Compose is a tool for defining and running multi-container Docker applications. Originally cr...

runc

github.com

runc is a CLI tool for spawning and running containers according to the OCI (Open Container Initiati...

exa

github.com

exa is a modern replacement for the ls command, written in Rust by Benjamin Sago (ogham). With over...

usql

github.com

usql is a universal command-line interface for PostgreSQL, MySQL, Oracle, SQLite, SQL Server, and ma...

duf

github.com

duf is a Disk Usage/Free Utility, written in Go by Christian Muehlhaeuser (muesli). With over 13,000...

GNU Debugger

www.gnu.org

GDB (the GNU Debugger) is the standard debugger for the GNU software system, originally written by R...

Bond Serialization Framework

github.com

Bond is an open-source, cross-platform framework for working with schematized data, developed by Mic...

Julia Programming Language

julia.org

Julia is a high-level, high-performance dynamic programming language for technical computing, design...

Puppet Configuration Management

puppet.com

Puppet is an open-source and commercial configuration management tool that automates infrastructure...

vim-fugitive Git Plugin

github.com

vim-fugitive is the premier Vim plugin for Git integration, created by Tim Pope (tpope). With over 2...

Fennel Programming Language

fennel-lang.org

Fennel is a programming language that brings the simplicity and expressiveness of Lisp to the Lua ru...

FlameGraph Visualization Tool

github.com

FlameGraph is a visualization tool for profiling software performance, created by Brendan Gregg (a r...

GNOME Desktop

www.gnome.org

GNOME is a free and open-source desktop environment for Unix-like operating systems, created in 1999...

age File Encryption Tool

github.com

age is a simple, modern, and secure file encryption tool, format, and Go library. Created by Filippo...

X Window System

www.x.org

The X Window System (X11) is the standard windowing system for Unix-like operating systems since 198...

PulseAudio

www.freedesktop.org

PulseAudio is a network-capable sound server program commonly used on Linux, FreeBSD, and other Unix...

BIRD Internet Routing Daemon

bird.network.cz

BIRD (BIRD Internet Routing Daemon) is an open-source routing daemon for UNIX-like systems, develope...