Technology

FFTW Fast Fourier Transform Library

www.fftw.org

FFTW (Fastest Fourier Transform in the West) is a software library for computing discrete Fourier tr...

GMP Multiple Precision Arithmetic Library

gmplib.org

GMP (GNU Multiple Precision Arithmetic Library) is a free library for arbitrary-precision arithmetic...

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

rocq-prover.org

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...