Technology

MessagePack Serialization Format

github.com

MessagePack is an efficient binary serialization format that allows exchanging data among multiple l...

Apache CouchDB Document Database

couchdb.apache.org

Apache CouchDB is an open-source NoSQL document-oriented database that uses JSON to store data, Java...

Eclipse Mosquitto MQTT Broker

mosquitto.org

Eclipse Mosquitto is an open-source MQTT message broker that implements the MQTT protocol versions 5...

HiveMQ MQTT Platform

www.hivemq.com

HiveMQ is an enterprise MQTT platform that enables reliable, scalable machine-to-machine M2M and IoT...

Cadence Workflow Engine

cadenceworkflow.io

Cadence is a fault-oblivious stateful code platform developed at Uber Engineering in 2017, designed...

Sublime Text Code Editor

www.sublimetext.com

Sublime Text is a sophisticated cross-platform source code editor known for its speed, elegant inter...

IntelliJ IDEA Java IDE

www.jetbrains.com

IntelliJ IDEA is a powerful integrated development environment for Java and JVM-based languages, dev...

PyCharm Python IDE

www.jetbrains.com

PyCharm is a professional Python integrated development environment developed by JetBrains, providin...

Qlik Data Analytics Platform

www.qlik.com

Qlik is a business intelligence and data analytics platform that provides data integration, data lit...

Anki Spaced Repetition Software

apps.ankiweb.net

Anki is a free and open-source flashcard application that uses spaced repetition algorithms to optim...

Pillow Python Imaging Library

python-pillow.org

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

ImageMagick Image Processing Suite

imagemagick.org

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

LAPACK Linear Algebra Library

www.netlib.org

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

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

coq.inria.fr

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