Alternatives and similar repositories for tw

Users that are interested in tw are comparing it to the libraries listed below

• TCS-Meiji / PACE2017-TrackA
  ☆21Updated 8 years ago
• coq-quantum / CoqQ
  ☆27Updated 6 months ago
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆32Updated 2 months ago
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆34Updated 2 years ago
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆19Updated this week
• dsuess / mptikz
  LuaTeX extension for graphical tensor notation
  ☆34Updated 2 years ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆83Updated this week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆416Updated last month
• FabianMaeurer / TensorCategories.jl
  Category Theory Framework
  ☆16Updated last week
• QuantumBFS / ZXCalculus.jl
  An implementation of ZX-calculus in Julia
  ☆51Updated 8 months ago
• TensorBFS / CuTropicalGEMM.jl
  The fastest Tropical number matrix multiplication on GPU
  ☆10Updated 7 months ago
• lanl / JuliQAOA.jl
  A fast, flexible package for simulating the Quantum Alternating Operator Ansatz
  ☆12Updated last year
• QuEraComputing / GenericTensorNetworks.jl
  Generic tensor networks for solution space properties.
  ☆106Updated 3 months ago
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆30Updated this week
• chriscamano / RandomMPOMPS
  A randomized algorithm for the compressed MPS MPO product
  ☆18Updated 3 months ago
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆28Updated this week
• GiggleLiu / QuantumMPS
  Variational Quantum Eigensolver with Fewer Qubits
  ☆25Updated 5 years ago
• nzy1997 / TensorQEC.jl
  Tensor networks for quantum error correction.
  ☆45Updated this week
• OptimalBranching / OptimalBranching.jl
  Automated discovery of optimal branching rules for the branch-and-bound algorithm
  ☆14Updated last week
• GiggleLiu / ProblemReductions.jl
  Reduction between computational hard problems.
  ☆11Updated last week
• RustyBamboo / qc-err-mitig
  A tutorial on Quantum Noise Characterization and Mitigation
  ☆9Updated 2 years ago
• ArrogantGao / TreeWidthSolver.jl
  Implementation of the tree width algorithms.
  ☆19Updated 2 months ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆40Updated this week
• TensorBFS / TropicalTensors.jl
  Tropical tensor network for spin glasses
  ☆56Updated 7 months ago
• buwantaiji / DominantSparseEigenAD
  Reverse-mode AD of dominant sparse eigensolver using Pytorch.
  ☆41Updated 5 years ago
• finch-tensor / Finch.jl
  Sparse and Structured Tensor Compiler
  ☆210Updated last month
• freetdi / p17
  ☆10Updated 8 years ago
• lanl-ansi / QuantumAnnealing.jl
  Tools for the Simulation and Execution of Quantum Annealing Algorithms
  ☆33Updated 4 months ago
• under-Peter / TensorNetworkAD.jl
  Algorithms that combine tensor network methods with automatic differentiation
  ☆92Updated 2 years ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆81Updated this week