Technology

Terraform Infrastructure as Code

developer.hashicorp.com

Terraform is an open-source infrastructure as code software tool created by HashiCorp in 2014, enabl...

Idris Dependent Type Programming Language

idris-lang.org

Idris is a general-purpose purely functional programming language with full dependent types, merging...

Agda Proof Assistant Language

agda.readthedocs.io

Agda is a dependently typed functional programming language and interactive proof assistant, where p...

Lean Theorem Prover and Programming Language

lean-lang.org

Lean is a functional programming language and automated theorem prover developed primarily by Leonar...

Coq Interactive Theorem Prover

coq.inria.fr

Coq is an interactive theorem prover and formal proof management system based on the Calculus of Ind...

Dask Parallel Computing Framework

www.dask.org

Dask is a flexible parallel computing library for Python that scales the existing Python ecosystem (...

Vulkan Graphics and Compute API

www.khronos.org

Vulkan is a low-overhead, cross-platform 3D graphics and compute API created by the Khronos Group, f...

SFML Simple Fast Multimedia Library

www.sfml-dev.org

SFML (Simple and Fast Multimedia Library) is a cross-platform software development library designed...

ROS Robot Operating System

docs.ros.org

ROS (Robot Operating System) is an open-source framework for writing robot software, providing a fle...

Gazebo Robot Simulation

classic.gazebosim.org

Gazebo is a 3D robotics simulator that enables rapid testing of algorithms, design of robots in real...

MPFR Floating-Point Arithmetic Library

www.mpfr.org

MPFR (Multiple Precision Floating-Point Reliable) is a C library for multiple-precision floating-poi...

PARI/GP Number Theory System

pari.math.u-bordeaux.fr

PARI/GP is a widely used computer algebra system designed for fast computations in number theory, or...

PlantUML Diagram Generator

plantuml.com

PlantUML is an open-source tool that allows users to create diagrams from a plain text language, ena...

Fluent Bit Log Processor

docs.fluentbit.io

Fluent Bit is an open-source log processor and forwarder designed for high-performance, low-resource...

VuePress Documentation Generator

vuepress.vuejs.org

VuePress is a minimalistic static site generator powered by Vue.js, designed primarily for writing t...

OpenCASCADE 3D Modeling

www.opencascade.com

OpenCASCADE (Open CASCADE Technology, OCCT) is an open-source software development platform for 3D C...

Alpine Linux Distribution

www.alpinelinux.org

Alpine Linux is a security-oriented, lightweight Linux distribution based on musl libc and BusyBox,...

Arch Linux Distribution

www.archlinux.org

Arch Linux is an independently developed x86-64 Linux distribution that adheres to the KISS principl...

EnterpriseDB PostgreSQL Platform

www.enterprisedb.com

EnterpriseDB (EDB) provides enterprise-class PostgreSQL products and services, offering the most com...

Debian GNU/Linux Distribution

www.debian.org

Debian is a free and open-source Linux distribution known for its commitment to free software princi...