Haskell

Haskell is a functional programming language with non-strict semantics, and strong static typing.

Database

A database is a structured set of data held in a computer, usually a server.

Software-defined networking

Software-defined networking (SDN) is an architecture for programmable, centrally managed networks.

Rust

Rust is a systems programming language created by Mozilla.

Python

Python is a dynamically typed programming language.

Operating system

An operating system is a program that manages a computer's programs and applications.

LaTeX

LaTeX is a document preparation system.

Linux

Linux is an open source kernel.

Go

Go is a programming language built to resemble a simplified version of the C programming language.

Data structures

Data structures are a way of organizing and storing data.

C++

C++ is a general purpose and object-oriented programming language.

Code quality

Automate your code review with style, quality, security, and test‑coverage checks when you need them.

C

C is a general purpose programming language that first appeared in 1972.

Algorithm

Algorithms are self-contained sequences that carry out a variety of tasks.