Awesome GitHub RepositoriesQuantum Circuit Design

Este proyecto es un directorio integral curado por la comunidad que organiza un vasto panorama de bibliotecas, frameworks y herramientas de software de Python. Sirve como una base de conocimientos centralizada diseñada para facilitar la navegación del ecosistema y acelerar el descubrimiento de desarrolladores en todo el ciclo de vida del desarrollo de software. El directorio se distingue por proporcionar un índice estructurado de recursos categorizados por dominio técnico, que van desde utilidades de desarrollo fundamentales hasta campos de ingeniería especializados. Cubre capacidades de alto nivel que incluyen inteligencia artificial, ciencia de datos, desarrollo web y gestión de infraestructura, lo que permite a los desarrolladores identificar soluciones verificadas para desafíos técnicos específicos. El proyecto abarca una amplia superficie de capacidades, incluyendo herramientas para la gestión de dependencias, análisis de código estático y pruebas automatizadas. También cataloga recursos para el almacenamiento de datos persistentes, orquestación de infraestructura en la nube y desarrollo de interfaces, proporcionando una referencia unificada para construir y mantener sistemas de software complejos.

The AWS Cloud Development Kit is an infrastructure-as-code framework that enables developers to define and provision cloud resources using familiar programming languages. By utilizing construct-based synthesis, it translates high-level, object-oriented code into declarative templates, allowing for the automated management of complex cloud environments through a centralized, code-driven control plane. The framework distinguishes itself through its ability to model infrastructure as a dependency-aware resource graph, ensuring that components are provisioned and updated in the correct order. It

Boto3 is the AWS SDK for Python, providing a programmatic interface for managing and automating AWS cloud infrastructure and services. It serves as a cloud management API client and resource manager for provisioning, configuring, and scaling virtual servers, databases, and storage. The library enables the implementation of infrastructure-as-code through declarative templates and scripts, allowing for the deployment of identical resource stacks across multiple accounts and geographic regions. It also provides a framework for coordinating distributed workflows, serverless functions, and contain

jetson-inference is a set of libraries and tools for executing optimized deep learning models on embedded GPU hardware. Its primary purpose is to enable real-time computer vision and AI inference at the edge with low latency and high throughput. The project distinguishes itself through high-performance streaming analytics and the ability to execute concurrent AI pipelines on auto-grade silicon. It provides specialized support for multi-sensor stream processing, utilizing zero-copy data transport to load camera frames directly into GPU memory. The codebase covers a broad surface of capabiliti

Qiskit is a quantum computing software development kit used for designing, simulating, and executing quantum circuits on physical hardware and simulators. It functions as a quantum algorithm framework, a circuit simulator, and a vendor-agnostic hardware interface for dispatching workloads across diverse providers. The project features a quantum circuit transpiler that optimizes abstract designs to match the specific basis gates and qubit connectivity of target hardware. It employs a pass-based transpilation pipeline and symbolic instruction translation to convert high-level circuits into hard

A bytecode optimizer for Android apps

xq-py is a numerical quantum computing library and software emulator used to execute quantum algorithms. It functions as a quantum virtual machine that simulates quantum circuits and state vectors through the use of linear algebra and complex number arrays. The project provides a virtual environment for developing and verifying quantum logic. It models multi-qubit systems by utilizing tensor-product expansion and unitary gate applications to simulate quantum state vectors and calculate probabilistic state collapse. The simulation is supported by a numerical backend that handles the matrix-ba

Cirq es un framework de computación cuántica en Python utilizado para diseñar, simular y ejecutar circuitos cuánticos en hardware cuántico de escala intermedia ruidosa (NISQ). Sirve como simulador de circuitos cuánticos y modelador de ruido, así como una herramienta para la implementación de algoritmos cuánticos. El framework proporciona una interfaz especializada para hardware NISQ, permitiendo a los usuarios mapear circuitos cuánticos lógicos a topologías de dispositivos físicos mientras validan la conectividad del hardware y las restricciones de las puertas. Se distingue por su modelado de ruido integrado, aplicando canales de despolarización y amortiguación para imitar la decoherencia y los errores encontrados en procesadores cuánticos reales. El proyecto cubre una amplia gama de capacidades, incluyendo el diseño de circuitos cuánticos, la integración de hardware y la simulación de estados. Incluye herramientas para la descomposición de puertas, el mapeo de topología de hardware y la ejecución de procedimientos cuánticos fundamentales como transformadas de Fourier y búsqueda de datos no estructurados. Además, proporciona utilidades analíticas para el cálculo del estado fundamental molecular y la evaluación comparativa de la fidelidad del hardware.

Chisel is a hardware construction language and description tool used to define digital circuits. It functions as a generator that converts high-level hardware descriptions into synthesizable Verilog code for use in ASIC and FPGA design. The project enables the creation of parameterizable hardware templates and reusable digital components. It leverages functional and object-oriented programming patterns to transform complex circuit representations into finalized hardware descriptions. The toolset covers the register-transfer level design workflow, allowing users to model digital circuits usin

Yosys es un sintetizador de lógica digital y herramienta de síntesis RTL que transforma código de lenguaje de descripción de hardware en representaciones a nivel de puerta optimizadas. Funciona como un optimizador de lógica de hardware y herramienta de verificación formal, proporcionando un framework para convertir representaciones de circuitos genéricos en celdas de librería de tecnología específicas para plataformas de hardware objetivo. El proyecto sirve como un automatizador de diseño de hardware a través de un entorno programable utilizado para ejecutar secuencias de comandos de síntesis. Esta automatización permite la gestión de flujos de trabajo de hardware digital complejos, integrando la síntesis de diseño RTL con el mapeo de celdas de tecnología. Sus capacidades de verificación y análisis incluyen model checking simbólico y verificación de equivalencia de diseño. Estas herramientas admiten la verificación formal de hardware comprobando propiedades de seguridad y vivacidad, y generando bancos de pruebas de simulación para garantizar que los diseños coincidan con sus especificaciones originales.

ruvector es un almacén de vectores y base de datos de grafos basado en Rust, diseñado para inferencia local y búsquedas de vecinos más cercanos. Utiliza una arquitectura de base de datos de grafos vectoriales y un índice de red neuronal de grafos para refinar los rankings de búsqueda mediante atención estructural. El sistema incluye un simulador de circuitos cuánticos acelerado por hardware para ejecutar simulaciones de vectores de estado y patrones de búsqueda complejos, junto con un motor de inferencia WebAssembly para ejecutar búsquedas vectoriales y modelos directamente en navegadores web. El proyecto emplea un formato de contenedor cognitivo que agrupa modelos, datos y un microkernel arrancable en un único binario para su despliegue. Incluye herramientas especializadas de configuración de modelos, como un método de consolidación de pesos para prevenir el olvido catastrófico y un mecanismo de adaptadores ligeros para la adaptación instantánea de pesos. El sistema cubre una amplia superficie de capacidades, incluyendo búsqueda vectorial acelerada por hardware, consultas de relaciones en grafos y análisis de documentos científicos para la extracción de LaTeX y MathML. También proporciona encadenamiento de testigos criptográficos para verificar mutaciones de datos, sincronización de metadatos basada en Raft para alta disponibilidad y compresión de datos de resolución escalonada para gestionar los costes de almacenamiento.

Quantum is a quantum development framework that provides a hybrid quantum-classical workflow for coordinating execution between classical host languages and quantum processors. It includes a quantum hardware simulator for modeling state evolution and a library of quantum algorithms for tasks such as integer factorization, database search, and quantum arithmetic. The project offers specialized tools for quantum hardware characterization and error correction to manage noise and decoherence. It provides resource estimation modeling to calculate the qubit count and gate depth required to execute

Este proyecto es un recurso educativo integral y un manual de tutoriales para construir, entrenar y desplegar modelos de machine learning usando TensorFlow 2. Sirve como una guía de aprendizaje estructurada que cubre conceptos fundamentales de deep learning, incluyendo arquitecturas de redes neuronales, diferenciación automática y operaciones con tensores. El manual proporciona orientación técnica sobre cómo optimizar la eficiencia de ejecución mediante la gestión de memoria de GPU, entrenamiento distribuido y cuantización de modelos. También incluye guías detalladas para construir pipelines de datos de alto rendimiento y exportar modelos para servidores de producción, dispositivos móviles y navegadores web. El material abarca una amplia gama de capacidades, incluyendo el desarrollo de modelos con redes convolucionales y recurrentes, la implementación de funciones de pérdida y capas personalizadas, y el uso de modelos preentrenados para transfer learning. También aborda estrategias de despliegue para dispositivos edge y el uso de entornos de ejecución en la nube para aceleración por hardware. El recurso está implementado como una colección de Jupyter Notebooks.

atopile is an electronic design automation software and hardware description language that enables the definition of electronic circuits and components as code. It functions as a modular electronics framework and a compiler that transforms programmatic circuit definitions into a normalized model and KiCad project files for physical layout. The system distinguishes itself through automated hardware design automation, using a constraint-based value solver to calculate required component values and validate electrical specifications during the build process. It employs a modular approach to hard

This project is a quantum computing educational resource and implementation library. It provides a collection of interactive notebooks and guides designed for learning quantum programming, developing algorithms, and simulating quantum circuits. The resource includes tutorials for implementing standard quantum algorithms and creating custom circuit passes. It specifically covers quantum hardware control, providing instructions on scheduling raw microwave or laser pulses to implement precise gates at the physical layer. The materials cover the broader surface of quantum circuit design, includi

Torchquantum is a tensor-based quantum machine learning library and simulation engine that integrates parameterized quantum circuits directly into PyTorch training pipelines. It enables the construction of hybrid quantum-classical neural networks where quantum operations function as differentiable layers within standard deep learning architectures. The framework computes analytical parameter gradients using native automatic differentiation engines and parameter-shift rules, facilitating end-to-end training and backpropagation. It supports tensor-based quantum state vector simulations, specia