Developer Tools
libsodium Cryptography Library
libsodium.gitbook.io
libsodium is a modern, easy-to-use software library for encryption, decryption, signatures, password...
Box2D Physics Engine
box2d.org
Box2D is a 2D rigid body simulation physics library for games, originally written in C++ by Erin Cat...
PortAudio Audio I/O Library
www.portaudio.com
PortAudio is a free, cross-platform, open-source audio I/O library that provides a uniform API for r...
JACK Audio Connection Kit
jackaudio.org
JACK (JACK Audio Connection Kit) is a professional sound server daemon that provides low-latency aud...
TiDB Distributed SQL Database
tiDB.com
TiDB is an open-source distributed SQL database compatible with MySQL protocol, supporting horizonta...
ESPHome IoT Firmware Framework
esphome.io
ESPHome is a system for creating custom smart home devices using ESP8266, ESP32, RP2040, and other m...
Tasmota Smart Device Firmware
github.com
Tasmota is an open-source alternative firmware for ESP8266 and ESP32 based smart devices, especially...
FreeBSD Operating System
www.freebsd.org
FreeBSD is a free and open-source Unix-like operating system derived from BSD (Berkeley Software Dis...
NetBSD Operating System
www.netbsd.org
NetBSD is a free, secure, and highly portable Unix-like operating system based on BSD, renowned for...
Haiku Operating System
www.haiku-os.org
Haiku is a free and open-source operating system inspired by BeOS, focused on personal computing, re...
Racket Programming Language
racket-lang.org
Racket is a general-purpose, multi-paradigm programming language in the Lisp and Scheme family, desi...
Common Lisp Programming Language
common-lisp.net
Common Lisp is a general-purpose, multi-paradigm programming language that evolved from Lisp, design...
Scheme Programming Language
www.scheme.org
Scheme is a minimalist, functional programming language in the Lisp family, known for its clean desi...
SWI-Prolog Logic Programming
www.swi-prolog.org
SWI-Prolog is a comprehensive, free and open-source implementation of the Prolog programming languag...
Forth Programming Language
forth.com
Forth is an imperative, stack-based, extensible programming language and programming environment ori...
Bison Parser Generator
www.gnu.org
Bison is a general-purpose parser generator that converts an annotated context-free grammar into a d...
ANTLR Parser Generator Tool
github.com
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing...
UltiMaker Cura 3D Slicer
ultimaker.com
Cura is a free and open-source 3D printing slicing software developed by Ultimaker, which converts 3...
PrusaSlicer 3D Print Software
www.prusa3d.com
PrusaSlicer is a free and open-source 3D printing slicing application developed by Prusa Research, f...
Scapy Network Packet Tool
scapy.net
Scapy is a powerful interactive packet manipulation program written in Python, enabling network pack...