Kristleifur Daðason
kristleifur
3 points

Tools kristleifur is Following

IntelliJ IDEA
Out of the box, IntelliJ IDEA provides a comprehensive feature set including tools and integrations with th...
Debian
Debian systems currently use the Linux kernel or the FreeBSD kernel. Linux is a piece of software started b...
OpenSSL
It is a robust, commercial-grade, and full-featured toolkit for the Transport Layer Security (TLS) and Secu...
Fish Shell
It is a useful utility filled shell which makes command line operations quicker with customized functions, ...
Spacemacs
Since version 0.101.0 and later Spacemacs totally abolishes the frontiers between Vim and Emacs. The user c...
iTerm2
A replacement for Terminal and the successor to iTerm. It works on Macs with macOS 10.12 or newer. iTerm2 b...
tmux
It enables a number of terminals to be created, accessed, and controlled from a single screen. tmux may be ...
Nix
It makes package management reliable and reproducible. It provides atomic upgrades and rollbacks, side-by-s...
NixOS
It is a Linux distribution with a unique approach to package and configuration management. Built on top of ...
Docker Compose
With Compose, you define a multi-container application in a single file, then spin your application up in a...
json5
JSON for humans.
TeamCity
TeamCity is a user-friendly continuous integration (CI) server for professional developers, build engineers...
ReasonML
It lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecos...
OCaml
It is an industrial strength programming language supporting functional, imperative and object-oriented sty...
Vim
Vim is an advanced text editor that seeks to provide the power of the de-facto Unix editor 'Vi', with a mor...
KVM
KVM (for Kernel-based Virtual Machine) is a full virtualization solution for Linux on x86 hardware containi...
Qemu
When used as a machine emulator, it can run OSes and programs made for one machine (e.g. an ARM board) on a...
Pijul
Pijul is a free and open source (AGPL 3) distributed version control system. Its distinctive feature is to ...
Google Sheets
Access, create, and edit your spreadsheets wherever you go—from your phone, tablet, or computer.
macOS
Desktop, laptop and home computers, and by web usage, it is the second most widely used desktop OS, after M...