Developer Tools
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
rocq-prover.org
Coq is an interactive theorem prover and formal proof management system based on the Calculus of Ind...