Alternatives and similar repositories for discopy

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

• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆400Updated last week
• Quantinuum / lambeq
  A high-level Python library for Quantum Natural Language Processing
  ☆517Updated 2 weeks ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆54Updated 2 years ago
• Quantinuum / qnlp_lorenz_etal_2021_resources
  Code and resources for the Lorenz et al. (2021) QNLP paper
  ☆28Updated 2 years ago
• ICHEC / QNLP
  ICHEC Quantum natural language processing (QNLP) toolkit
  ☆40Updated 5 years ago
• helloerikaaa / quweeting
  Sentiment analysis from tweets using QNLP (Quantum Natural Language Processing)
  ☆13Updated 4 years ago
• NEASQC / WP6_QNLP
  The repository of the quantum natural language processing WP6 within NEASQC. Development and releases are stored in this repository.
  ☆11Updated 11 months ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆111Updated 3 months ago
• PaulaGarciaMolina / QNLP_Qiskit_Hackathon
  Quantum Natural Language Processing (QNLP)'s project repository for Qiskit Hackathon Europe.
  ☆16Updated last year
• Scinawa / quantumalgorithms.org
  This is the repository for https://quantumalgorithms.org
  ☆166Updated last year
• zxcalc / pyzx
  Python library for quantum circuit rewriting and optimisation using the ZX-calculus
  ☆484Updated this week
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆79Updated 2 weeks ago
• IBM / LNN
  A `Neural = Symbolic` framework for sound and complete weighted real-value logic
  ☆299Updated 2 weeks ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated 2 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆274Updated last year
• AminKaramlou / QNLG
  Contains the codebase for Quantum Natural Language Generation project
  ☆24Updated 3 years ago
• lanl / quantum_algorithms
  Codes accompanying the paper "Quantum algorithm implementations for beginners"
  ☆265Updated 5 years ago
• coq-quantum / CoqQ
  ☆28Updated last year
• cduck / feynman_path
  Visualization tool for the Feynman Path Integral applied to quantum circuits
  ☆57Updated 2 years ago
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆96Updated 2 weeks ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆107Updated 7 months ago
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆119Updated 5 months ago
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆145Updated 2 years ago
• The-Eigensolvers / TEQS
  Welcome to The Eigensolver Quantum School, a quantum computing crash course designed by students for students.
  ☆63Updated 4 years ago
• thosgood / qubit.guide
  The online version of Introduction to Quantum Information Science by Artur Ekert, Tim Hosgood, Alastair Kay, and Chiara Macchiavello
  ☆65Updated 5 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆429Updated this week
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆113Updated last year
• Quantinuum / hugr
  Hierarchical Unified Graph Representation for quantum and classical programs
  ☆55Updated last week
• Quantinuum / Quanthoven
  ☆40Updated 4 years ago
• quantum-journal / quantum-journal
  LaTeX template class for Quantum - the open journal for quantum science
  ☆103Updated last year