110 skills
Z3 is a high-performance theorem prover developed by Microsoft Research used for solving logical constraints and verifying software correctness.
Z80 Assembly is a low-level programming language used to write software for systems powered by the Zilog Z80 microprocessor, commonly found in legacy and embedded systems.
Zabbix is an open-source monitoring solution for tracking the status and performance of servers, networks, and applications in real time.
The Z-Algorithm is a string processing technique used to find pattern occurrences in linear time by constructing a Z-array that represents substring matches to the original string's prefix.
Zally is a tool for validating RESTful APIs against defined style guidelines and best practices. It ensures consistency and compliance in API design.
ZAP refers to the OWASP Zed Attack Proxy, an open-source security tool used for finding vulnerabilities in web applications during development and testing.
Zapier is a workflow automation platform that connects apps and services to streamline tasks without coding. Used for integrating tools and automating repetitive processes.
Zappa is a Python-based framework that enables developers to deploy serverless web applications on AWS Lambda and API Gateway without managing infrastructure.
Zarf is a command-line tool for packaging, transporting, and deploying Kubernetes applications in air-gapped or restricted environments.
Zarr is a format for chunked, compressed, N-dimensional arrays used in scientific computing and data storage. It enables efficient I/O and cloud-based data handling.
Zato is an open-source integration platform used to connect applications and APIs via middleware. It supports Python-based development and REST, SOAP, and AMQP protocols.
ZBar is a software library for scanning and decoding barcodes from images and video streams. It supports various 1D and 2D barcode formats.
ZBrush is a digital sculpting and 3D modeling tool used for creating high-resolution models in visual effects, gaming, and product design.
Z-Buffer is a graphics rendering technique used to manage depth information in 3D scenes, ensuring objects are displayed in correct spatial order.
Zcash is a privacy-focused cryptocurrency using zero-knowledge proofs for secure, anonymous transactions in blockchain and fintech applications.
Z-Combinator is not a recognized professional skill or technical concept in software development, computer science, or related industries.
Zebra BI is a suite of data visualization tools that integrates with Microsoft Excel and Power BI to create professional, visually consistent financial and business reports.
Zebrium is an AI-powered log analysis platform that automatically detects and diagnoses production issues in software systems by identifying anomalies in log data.
Zed is a modern, high-performance code editor designed for speed and scalability in large codebases. It supports collaborative editing and real-time features.
Zededa is a platform for edge computing virtualization and management, enabling distributed infrastructure operations across remote locations.
Zeebe is a workflow automation engine designed for orchestrating microservices in distributed systems with high scalability and resilience.
Zeek is a network analysis framework used for security monitoring, traffic inspection, and threat detection by generating detailed protocol logs and alerts.
Zellij is an open-source terminal workspace manager that organizes multiple terminal sessions within a single window using panes and tabs.
Zend is a PHP framework and set of components used to develop robust web applications with scalable architecture and enterprise features.
Zendesk is a customer service and support software platform used to manage helpdesk operations, support tickets, and customer interactions.
Zend Framework is an open-source, object-oriented PHP framework for building scalable web applications and services. It follows MVC architecture and enterprise patterns.
Zenhub is a project management tool that integrates with GitHub to streamline agile software development workflows and collaboration.
ZenML is an open-source MLOps framework for building portable, scalable, and maintainable machine learning pipelines.
Zenoh is a distributed data communication protocol designed for low-latency, high-throughput, and scalable data exchange in edge computing and IoT environments.
Z.EntityFramework is a popular extension for Entity Framework that enhances data access capabilities in .NET applications with additional features and performance improvements.
Zephir is a high-level programming language designed for creating PHP extensions with improved performance and type safety.
Zephyr is an open-source, real-time operating system designed for connected, resource-constrained devices across IoT and embedded systems.
Zephyr OS is a lightweight, open-source real-time operating system for resource-constrained and embedded systems. It supports multiple architectures and IoT devices.
Zephyr Project is an open-source real-time operating system (RTOS) for connected, resource-constrained devices.
Zeplin is a collaboration tool used by designers and developers to streamline handoff, share design specs, and ensure accurate implementation of user interfaces.
Zeppelin is an open-source web-based notebook that enables interactive data analytics and visualization. It supports multiple interpreters for big data processing.
Zepto.js is a lightweight JavaScript library optimized for modern mobile browsers, providing a jQuery-like syntax for DOM manipulation and event handling.
Zeroc Ice is a middleware platform for developing and deploying distributed applications using efficient, language-agnostic communication protocols.
ZeroMQ is a high-performance messaging library used for building scalable and distributed applications with asynchronous communication patterns.
ZeroTier is a software-defined networking tool that enables secure, virtualized network connections across distributed systems and devices.
Zero Trust is a security model that requires strict identity verification for every user and device accessing resources, regardless of location.
Zerto is a disaster recovery and data protection platform that enables continuous data replication, failover, and migration across hybrid and multi-cloud environments.
Zerynth is a development platform for industrial IoT applications, enabling Python-based programming of microcontrollers and integration with cloud services.
Zettaset is a software platform for securing big data environments, focusing on encryption, access control, and compliance for Hadoop and related technologies.
Zettlr is an open-source, markdown-based note-taking and writing application designed for researchers, writers, and knowledge workers to manage complex projects efficiently.
ZFS is a combined file system and logical volume manager designed for high performance, data integrity, and easy administration in enterprise storage environments.
ZGC (Z Garbage Collector) is a scalable low-latency garbage collector for Java applications, designed to manage heap memory with minimal pause times.
Zig is a general-purpose programming language focused on performance, safety, and maintainability. It is used in systems programming and low-level development.
Zigbee is a wireless communication protocol used for low-power, short-range connectivity in IoT and smart home devices.
Zigbee is a wireless communication protocol for low-power, low-data-rate applications like home automation and IoT. It enables mesh networking for reliable device connectivity.