munich-quantum-toolkit/qusat

MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing

GitHub repository with 28 stars and 3 forks.

Language: C++

Topics: quantum-computing

Open provider repository

Latest metric snapshot

2026-06-15: 28 stars and 3 forks.

Similar repositories

  1. 1. microsoft/qdk-chemistry

    A high-performance toolkit for quantum and classical chemistry calculations.

    GitHub repository with 53 stars and 24 forks.

    Trending score: 1.15; stars gained: +1; forks gained: +2.

    Language: C++

    Topics: quantum-chemistry, quantum-computing

  2. 2. brenocq/ket

    High performance quantum computing library & debugger

    GitHub repository with 19 stars and 2 forks.

    Trending score: 0.65; stars gained: +1; forks gained: +0.

    Language: C++

    Topics: quantum, quantum-computing, simulator

  3. 3. munich-quantum-toolkit/core

    MQT Core - The Backbone of the Munich Quantum Toolkit

    GitHub repository with 123 stars and 63 forks.

    Trending score: 0.25; stars gained: +0; forks gained: +0.

    Language: C++

    Topics: mqt, quantum-computing, quantum-intermediate-representation, tum

  4. 4. munich-quantum-toolkit/qmap

    MQT QMAP - A tool for Quantum Circuit Mapping written in C++

    GitHub repository with 140 stars and 38 forks.

    Trending score: 0.20; stars gained: +0; forks gained: +0.

    Language: C++

    Topics: quantum-computing, quantum-circuits, compilation, mapping-tools, quantum

  5. 5. munich-quantum-toolkit/qcec

    MQT QCEC - A tool for Quantum Circuit Equivalence Checking

    GitHub repository with 111 stars and 25 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: C++

    Topics: quantum-circuits, quantum-computing, equivalence-checker, decision-diagrams, verification, mqt

  6. 6. iqm-finland/QDMI-on-IQM

    QDMI on IQM

    GitHub repository with 5 stars and 3 forks.

    Trending score: 0.09; stars gained: +0; forks gained: +0.

    Language: C++

    Topics: iqm, qdmi, quantum-computing

Trending in C++

  1. 1. ggml-org/llama.cpp

    LLM inference in C/C++

    GitHub repository with 116,581 stars and 19,587 forks.

    Trending score: 4.92; stars gained: +285; forks gained: +59.

    Language: C++

    Topics: ggml

  2. 2. opencv/opencv

    Open Source Computer Vision Library

    GitHub repository with 89,152 stars and 56,658 forks.

    Trending score: 4.35; stars gained: +147; forks gained: +16.

    Language: C++

    Topics: c-plus-plus, computer-vision, deep-learning, image-processing, opencv

  3. 3. alibaba/zvec

    A lightweight, lightning-fast, in-process vector database

    GitHub repository with 10,064 stars and 583 forks.

    Trending score: 4.23; stars gained: +283; forks gained: +17.

    Language: C++

    Topics: agent-skills, db, embedded, faiss, hnsw, llm-memory

  4. 4. ggml-org/whisper.cpp

    Port of OpenAI's Whisper model in C/C++

    GitHub repository with 50,727 stars and 5,661 forks.

    Trending score: 3.92; stars gained: +155; forks gained: +26.

    Language: C++

    Topics: inference, openai, speech-recognition, speech-to-text, transformer, whisper

  5. 5. noctalia-dev/noctalia

    A sleek and minimal desktop shell thoughtfully crafted for Wayland.

    GitHub repository with 7,749 stars and 545 forks.

    Trending score: 3.82; stars gained: +91; forks gained: +10.

    Language: C++

    Topics: dotfiles, hyprland, linux, niri, noctalia, quickshell

  6. 6. ml-explore/mlx

    MLX: An array framework for Apple silicon

    GitHub repository with 27,010 stars and 1,908 forks.

    Trending score: 3.68; stars gained: +58; forks gained: +10.

    Language: C++

    Topics: mlx

Trending topic: quantum-computing

  1. 1. Qiskit/qiskit

    Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

    GitHub repository with 7,483 stars and 2,928 forks.

    Trending score: 1.46; stars gained: +2; forks gained: +0.

    Language: Python

    Topics: quantum-computing, qiskit, sdk, quantum-programming-language, quantum-circuit, quantum

  2. 2. FloatingPragma/observer-patch-holography

    Observer Patch Holography is the observer-consistency simulation theory of everything. No observer sees the whole world at once; each observer gets a local patch; physics is the public fixed point that survives agreement across overlaps.

    GitHub repository with 536 stars and 66 forks.

    Trending score: 1.24; stars gained: +3; forks gained: +1.

    Language: Python

    Topics: general-relativity, holographic-principle, physics, quantum-computing, quantum-gravity-foundations, standard-model

  3. 3. microsoft/qdk-chemistry

    A high-performance toolkit for quantum and classical chemistry calculations.

    GitHub repository with 53 stars and 24 forks.

    Trending score: 1.15; stars gained: +1; forks gained: +2.

    Language: C++

    Topics: quantum-chemistry, quantum-computing

  4. 4. qiskit-community/qiskit-metal

    Python framework for designing & analyzing superconducting quantum chips. Lite-by-default, headless-friendly, EDA-grade.

    GitHub repository with 409 stars and 264 forks.

    Trending score: 1.05; stars gained: +2; forks gained: +1.

    Language: Jupyter Notebook

    Topics: quantum, device, hamiltonian, quantum-computing, superconducting, qubits

  5. 5. microsoft/qdk

    Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

    GitHub repository with 946 stars and 196 forks.

    Trending score: 0.98; stars gained: +0; forks gained: -40.

    Language: Rust

    Topics: compilers, qsharp, quantum, quantum-computing, quantum-programming, quantum-programming-language

  6. 6. eclipse-qrisp/Qrisp

    Qrisp - The next generation of quantum algorithm development

    GitHub repository with 272 stars and 82 forks.

    Trending score: 0.91; stars gained: +1; forks gained: +0.

    Language: Python

    Topics: quantum-algorithms, quantum-chemistry, quantum-computing, quantum-programming-language