Website Rankings

1

SoX Sound Exchange Audio Tool

sox.sourceforge.net

SoX (Sound eXchange) is a cross-platform command-line audio editor and processing tool for convertin...

0

Votes

0

Clicks

2

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

0

Votes

0

Clicks

3

Dask Parallel Computing Framework

www.dask.org

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

0

Votes

0

Clicks

4

Coq Interactive Theorem Prover

coq.inria.fr

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

0

Votes

0

Clicks

5

Lean Theorem Prover and Programming Language

lean-lang.org

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

0

Votes

0

Clicks

6

Agda Proof Assistant Language

agda.readthedocs.io

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

0

Votes

0

Clicks

7

Idris Dependent Type Programming Language

idris-lang.org

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

0

Votes

0

Clicks

8

Terraform Infrastructure as Code

developer.hashicorp.com

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

0

Votes

0

Clicks

9

GMP Multiple Precision Arithmetic Library

gmplib.org

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

0

Votes

0

Clicks

10

FFTW Fast Fourier Transform Library

www.fftw.org

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

0

Votes

0

Clicks

11

LAPACK Linear Algebra Library

www.netlib.org

LAPACK (Linear Algebra PACKage) is a standard software library for numerical linear algebra, providi...

0

Votes

0

Clicks

12

ImageMagick Image Processing Suite

imagemagick.org

ImageMagick is a free and open-source software suite for displaying, converting, and editing raster...

0

Votes

0

Clicks

13

Pillow Python Imaging Library

python-pillow.org

Pillow is the friendly fork of the Python Imaging Library (PIL), adding support for opening, manipul...

0

Votes

0

Clicks

14

OpenCV Computer Vision Library

docs.opencv.org

OpenCV (Open Source Computer Vision Library) is an open-source computer vision and machine learning...

0

Votes

0

Clicks

15

Haiku Operating System

www.haiku-os.org

Haiku is a free and open-source operating system inspired by BeOS, focused on personal computing, re...

0

Votes

0

Clicks

16

NetBSD Operating System

www.netbsd.org

NetBSD is a free, secure, and highly portable Unix-like operating system based on BSD, renowned for...

0

Votes

0

Clicks

17

FreeBSD Operating System

www.freebsd.org

FreeBSD is a free and open-source Unix-like operating system derived from BSD (Berkeley Software Dis...

0

Votes

0

Clicks

18

Tasmota Smart Device Firmware

github.com

Tasmota is an open-source alternative firmware for ESP8266 and ESP32 based smart devices, especially...

0

Votes

0

Clicks

19

ESPHome IoT Firmware Framework

esphome.io

ESPHome is a system for creating custom smart home devices using ESP8266, ESP32, RP2040, and other m...

0

Votes

0

Clicks

20

Mailu Docker Mail Server

mailu.io

Mailu is a simple yet full-featured mail server running as a set of Docker containers, designed to b...

0

Votes

0

Clicks