holly-jiang Goto Github PK

aalpy

An Active Automata Learning Library Written in Python

circuittransform

cirq

A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

courses

USTC CS Courses. Course Projects and Notes of Computer Science in USTC

daf

Efficient Subgraph Matching: Harmonizing Dynamic Programming, Adaptive Matching Order, and Failing Set Together

efficientsubgraphmatching

Efficient Subgraph Matching: Harmonizing Dynamic Programming, Adaptive Matching Order, and Failing Set Together

enfield

An OpenQASM source-to-source Compiler.

fidls

gqlts

grcs

Random quantum circuits for circuit sampling with superconducting qubits

k7m

kripkestructure

leetcode

practice in Leetcode

lexandyacc

To learn LEX and YACC

metaheuristics4java

Public API for the rapid development of applications that solve optimization problems using meta heuristics

nass

nauty

unofficial repository of nauty and traces, see the official site for the latest

networkx_graph_edit_distance

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

openql

OpenQL : A Portable Quantum Programming Framework for Quantum Accelerators ( https://arxiv.org/abs/2005.13283 )

optimizer

Benchmark quantum circuits before and after optimization.

pymhlib

pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods

pytket

Python module for interfacing with the CQC t|ket> library of quantum software

q-codar

CODAR: A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices

qbip

qcircuit

A quantum circuit drawing application

qcpm

qctsa

qctsa1