Technology

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

OpenCV Computer Vision Library

docs.opencv.org

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

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

Conda Package Manager

docs.conda.io

Conda is an open-source package management system and environment management system that runs on Win...

JAX Autograd and XLA Framework

docs.jax.dev

JAX is a Python library for high-performance numerical computing and machine learning research, deve...