23 Repos
Software frameworks for designing, simulating, and executing quantum computing circuits and algorithms.
Explore 23 awesome GitHub repositories matching scientific & mathematical computing · Quantum Computing. Refine with filters or upvote what's useful.
Dieses Projekt ist ein umfassendes, von der Community kuratiertes Verzeichnis, das eine riesige Landschaft von Python-Softwarebibliotheken, Frameworks und Tools organisiert. Es dient als zentrale Wissensdatenbank, die dazu entwickelt wurde, die Navigation im Ökosystem zu erleichtern und die Entdeckung durch Entwickler über den gesamten Softwareentwicklungs-Lebenszyklus hinweg zu beschleunigen. Das Verzeichnis zeichnet sich durch einen strukturierten Index von Ressourcen aus, die nach technischen Bereichen kategorisiert sind, von grundlegenden Entwicklungs-Dienstprogrammen bis hin zu spezialisierten Ingenieursbereichen. Es deckt hochrangige Fähigkeiten ab, einschließlich künstlicher Intelligenz, Data Science, Webentwicklung und Infrastrukturmanagement, was es Entwicklern ermöglicht, geprüfte Lösungen für spezifische technische Herausforderungen zu identifizieren. Das Projekt umfasst ein breites Spektrum an Fähigkeiten, einschließlich Tools für Abhängigkeitsmanagement, statische Codeanalyse und automatisierte Tests. Es katalogisiert zudem Ressourcen für persistente Datenspeicherung, Cloud-Infrastruktur-Orchestrierung und Schnittstellenentwicklung und bietet eine einheitliche Referenz für den Aufbau und die Wartung komplexer Softwaresysteme.
Design hardware-aware quantum circuits and validate logic through specialized simulation environments.
Dieses Projekt ist ein umfassendes Repository verifizierter Rechenimplementierungen, das als Bildungsressource für Informatik und algorithmische Problemlösung dienen soll. Es bietet eine strukturierte Sammlung von Codebeispielen, die grundlegende Datenstrukturen, mathematische Operationen und Kernkonzepte der Programmierung abdecken und es Nutzern ermöglichen, die Logik und Komplexität hinter verschiedenen Berechnungsmethoden zu studieren. Das Repository zeichnet sich durch ein modulares, referenzbasiertes Implementierungsmuster aus, das Code in logische Namespaces organisiert. Dieser Ansatz erleichtert die unabhängige Ausführung und pädagogische Klarheit und ermöglicht es Nutzern, die Entwicklung von Berechnungsstrategien von naiven Brute-Force-Ansätzen bis hin zu optimierten Hochleistungslösungen zu erforschen. Durch die Entkopplung von Datenstruktur-Abstraktionen von algorithmischen Operationen stellt das Projekt sicher, dass Implementierungen austauschbar und leicht zu analysieren bleiben. Das Fähigkeitsspektrum umfasst eine breite Palette technischer Bereiche, einschließlich maschinellem Lernen, Kryptographie, wissenschaftlichem Rechnen und Computer Vision. Es enthält Implementierungen für prädiktive Modellierung, neuronale Netze und statistische Analysen, neben Tools für digitale Signalverarbeitung, Netzwerkflussmanagement und Finanzmodellierung. Die Sammlung adressiert zudem spezialisierte mathematische Bedürfnisse, wie lineare Algebra, geometrische Berechnungen und Bit-Manipulation, und bietet eine breite Grundlage für Forschung und Engineering-Anwendungen.
Simulate quantum mechanical states and gate operations on classical hardware to explore non-binary computational logic.
This repository serves as a comprehensive research platform and toolkit for advancing machine learning, quantum computing, and large-scale scientific data analysis. It provides foundational frameworks for developing complex algorithmic systems, offering the necessary infrastructure for distributed training, computational graph execution, and high-performance model development. The project distinguishes itself by integrating specialized research domains with robust, privacy-preserving methodologies. It supports diverse scientific discovery through tools for quantum simulation, physics-informed
Develops superconducting and neutral atom qubits to achieve verifiable quantum advantages in scientific fields.
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
Provides tools for modeling quantum states and gate operations on classical hardware.
This project is a cryptographic mining protocol that establishes a distributed compute network for solving complex mathematical tasks. It functions as a decentralized infrastructure where registered mining nodes participate in proof of work mining to solve network problems in exchange for rewards. The system specializes in quantum-inspired problem solving by mapping tasks into Ising mathematical structures. These problems are processed using a hardware-agnostic computation model, allowing solvers to execute tasks across CPU, GPU, or quantum processing units. The protocol includes tools for m
Executes quantum-inspired mathematical problems using a hardware-agnostic computation model.
Azure Docs is the official technical documentation repository for Microsoft Azure, the cloud computing platform. It provides comprehensive guidance on the full spectrum of Azure services, covering everything from core infrastructure components like virtual machines, Kubernetes clusters, and serverless computing to platform services for AI, machine learning, data analytics, and storage. The documentation details how to provision, manage, and govern cloud resources at scale, including policy enforcement, identity management, and cost optimization. The documentation distinguishes Azure through i
Documents Azure Quantum for experimenting with quantum algorithms and hardware.
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
Provides high-performance simulators to test and validate quantum algorithms on classical hardware.
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
Adds GPU acceleration to existing quantum simulation libraries and frameworks without requiring changes to the original code.
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
Optimizes and transforms quantum circuit designs to reduce gate counts for hardware execution.
A bytecode optimizer for Android apps
Runs independent optimization passes in a configurable sequence, each mutating the shared IR.
Simulates time evolution of quantum systems across different qubit modalities.
xq-py ist eine numerische Quantencomputing-Bibliothek und Software-Emulator zur Ausführung von Quantenalgorithmen. Sie fungiert als virtuelle Quantenmaschine, die Quantenschaltkreise und Zustandsvektoren durch den Einsatz linearer Algebra und Arrays komplexer Zahlen simuliert. Das Projekt bietet eine virtuelle Umgebung für die Entwicklung und Verifizierung von Quantenlogik. Es modelliert Multi-Qubit-Systeme durch Tensorprodukt-Erweiterung und unitäre Gatter-Anwendungen, um Quantenzustandsvektoren zu simulieren und den probabilistischen Zustandszerfall zu berechnen. Die Simulation wird durch ein numerisches Backend unterstützt, das die matrixbasierten Zustandstransformationen und die für die Quantencomputing-Emulation erforderliche Fließkomma-Mathematik handhabt.
Provides a software emulator to execute quantum algorithms and model quantum system behavior on classical hardware.
Cirq ist ein Python-Framework für Quantencomputing, das zum Entwerfen, Simulieren und Ausführen von Quantenschaltkreisen auf Noisy Intermediate-Scale Quantum (NISQ)-Hardware verwendet wird. Es dient als Simulator für Quantenschaltkreise und Rauschmodellierer sowie als Werkzeug für die Implementierung von Quantenalgorithmen. Das Framework bietet eine spezialisierte Schnittstelle für NISQ-Hardware, die es Benutzern ermöglicht, logische Quantenschaltkreise auf physische Gerätetopologien abzubilden und gleichzeitig Hardware-Konnektivität und Gate-Beschränkungen zu validieren. Es zeichnet sich durch integrierte Rauschmodellierung aus, bei der Depolarisierungs- und Dämpfungskanäle angewendet werden, um die Dekohärenz und Fehler in realen Quantenprozessoren nachzuahmen. Das Projekt deckt ein breites Spektrum an Funktionen ab, einschließlich Quantenschaltkreis-Design, Hardware-Integration und Zustandssimulation. Es enthält Tools für Gate-Dekomposition, Hardware-Topologie-Mapping und die Ausführung grundlegender Quantenprozeduren wie Fourier-Transformationen und unstrukturierte Datensuche. Zusätzlich bietet es analytische Dienstprogramme für die Berechnung molekularer Grundzustände und das Benchmarking der Hardware-Fidelity.
Provides a full framework for designing, simulating, and executing quantum computing circuits and algorithms.
QuantumKatas ist eine Sammlung von Kursmaterialien und Lernressourcen für Quantencomputing, die darauf ausgelegt sind, die Programmiersprache Q# und die Prinzipien des Quantencomputings zu vermitteln. Sie kombiniert strukturierte Tutorials und Programmieraufgaben mit interaktiven Notebooks sowie einer dedizierten Unit-Testing-Suite zur Überprüfung der korrekten Implementierung der Übungen. Das Projekt bietet eine dockerisierte Lernumgebung, die alle notwendigen Tools und Abhängigkeiten in einem virtuellen Image bündelt. Dies ermöglicht die Ausführung von Quantenprogrammierung-Übungen, ohne dass eine lokale Softwareinstallation erforderlich ist. Der Lehrplan umfasst Qubit-Manipulation, Gatter, Messungen und die Implementierung von Quantenalgorithmen. Das Lernen erfolgt durch eine Abfolge interaktiver Notebooks und eigenständiger Projekte, die in einer integrierten Entwicklungsumgebung ausgeführt werden können.
Provides implementations and exercises for building complex quantum procedures and algorithms using gate decomposition.
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
Creates digital electronics and circuit graphs using a high-level programming language.
Yosys ist ein digitaler Logiksynthesizer und RTL-Synthese-Tool, das Hardware-Beschreibungssprachen-Code in optimierte Gate-Level-Repräsentationen transformiert. Es fungiert als Hardware-Logikoptimierer und Tool für formale Verifikation und bietet ein Framework, um generische Schaltungsrepräsentationen in spezifische Technologie-Bibliothekszellen für zielgerichtete Hardwareplattformen zu konvertieren. Das Projekt dient als Hardware-Design-Automatisierer durch eine skriptfähige Umgebung, die zur Ausführung von Sequenzen von Synthesebefehlen verwendet wird. Diese Automatisierung ermöglicht die Verwaltung komplexer digitaler Hardware-Workflows und integriert RTL-Design-Synthese mit Technologie-Zell-Mapping. Seine Verifikations- und Analysefunktionen umfassen symbolisches Model-Checking und Design-Äquivalenzverifikation. Diese Tools unterstützen die formale Hardware-Verifikation durch das Überprüfen von Sicherheits- und Lebendigkeitseigenschaften und das Generieren von Simulations-Testbenches, um sicherzustellen, dass Designs ihren ursprünglichen Spezifikationen entsprechen.
Employs a modular sequence of optimization passes to iteratively reduce the area and delay of digital circuits.
ruvector is a Rust-based vector store and graph database designed for local inference and nearest neighbor searches. It utilizes a vector graph database architecture and a graph neural network index to refine search rankings through structural attention. The system includes a hardware-accelerated quantum circuit simulator for executing state-vector simulations and complex search patterns, alongside a WebAssembly inference engine for running vector search and model execution directly in web browsers. The project employs a cognitive container format that bundles models, data, and a bootable mic
Provides a hardware-accelerated environment for executing state-vector simulations of quantum circuits.
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
Provides libraries for creating and testing quantum procedures for tasks like database searching and integer factorization.
Dieses Projekt ist eine umfassende Bildungsressource und ein Tutorial-Handbuch für das Erstellen, Trainieren und Bereitstellen von Machine-Learning-Modellen mit TensorFlow 2. Es dient als strukturierter Lernleitfaden für grundlegende Deep-Learning-Konzepte, einschließlich neuronaler Netzwerkarchitekturen, automatischer Differenzierung und Tensor-Operationen. Das Handbuch bietet technische Anleitungen zur Optimierung der Ausführungseffizienz durch GPU-Speicherverwaltung, verteiltes Training und Modellquantisierung. Es enthält zudem detaillierte Anleitungen für den Aufbau leistungsfähiger Datenpipelines und den Export von Modellen für Produktionsserver, mobile Geräte und Webbrowser. Das Material deckt ein breites Spektrum an Funktionen ab, darunter die Modellentwicklung mit konvolutionellen und rekurrenten Netzwerken, die Implementierung benutzerdefinierter Verlustfunktionen und Layer sowie die Nutzung vortrainierter Modelle für Transfer Learning. Zudem werden Bereitstellungsstrategien für Edge-Geräte und die Nutzung cloudbasierter Runtimes zur Hardwarebeschleunigung behandelt. Die Ressource ist als Sammlung von Jupyter Notebooks implementiert.
Explains how to integrate parameterized quantum circuits as layers within classical neural networks.
PiShrink is a disk image shrinking tool and Linux filesystem optimizer. It reduces the size of disk images to their minimum requirements and configures the filesystem to automatically expand to the full capacity of the storage medium upon the first boot. The utility provides parallel image compression, utilizing multiple CPU cores to apply gzip or xz compression to large disk image files. It also includes filesystem error repair capabilities to resolve corruption that may otherwise block the shrinking process. The project covers disk image optimization and management, focusing on reducing st
Runs repeated filesystem checks and repair operations to resolve corruption that blocks the shrinking process.