Developer Tools
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...
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...
Dask Parallel Computing Framework
www.dask.org
Dask is a flexible parallel computing library for Python that scales the existing Python ecosystem (...
SFML Simple Fast Multimedia Library
www.sfml-dev.org
SFML (Simple and Fast Multimedia Library) is a cross-platform software development library designed...