TCS-Meiji / PACE2017-TrackALinks
☆22Updated 8 years ago
Alternatives and similar repositories for PACE2017-TrackA
Users that are interested in PACE2017-TrackA are comparing it to the libraries listed below
Sorting:
- ☆14Updated 3 years ago
- ☆10Updated 8 years ago
- The Yao compiler project☆21Updated 3 years ago
- List of Treewidth solvers, instances, and tools☆36Updated 3 years ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 2 months ago
- TensorOperations and cuTENSOR combined☆13Updated 5 years ago
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆55Updated 2 years ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- Global search algorithms for finding optimal tensor network contraction sequences.☆15Updated 5 years ago
- Automated discovery of optimal branching rules for the branch-and-bound algorithm☆16Updated 2 months ago
- A tutorial for Yao.jl☆12Updated 2 years ago
- A coding theory library for Julia.☆34Updated 3 weeks ago
- Implementation of the tree width algorithms.☆20Updated 3 weeks ago
- The Hackable Quantum Tensor Network library☆40Updated 2 months ago
- Einsum Expressions in Julia☆13Updated 3 months ago
- ☆11Updated 2 months ago
- The fastest tropical matrix multiplication in the world!☆32Updated last year
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Updated 3 years ago
- Tropical Numbers☆15Updated 8 months ago
- Qecsim is a Julia package for simulating quantum error correction using stabilizer codes.☆26Updated 3 years ago
- Category Theory Framework☆16Updated last week
- A Julia package for drawing quantum circuits with the quantikz tex macros.☆39Updated this week
- Coding every Saturday 5PM-8PM at Maker Space, HKUST (GZ)☆14Updated last year
- Probabilistic inference using contraction of tensor networks☆25Updated last month
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆10Updated 3 years ago
- An implementation of ZX-calculus in Julia☆51Updated this week
- Tropical tensor network for spin glasses☆59Updated 10 months ago
- Tensor networks for quantum error correction.☆48Updated this week
- ☆18Updated this week
- Variational Quantum Eigensolver with Fewer Qubits☆25Updated 6 years ago