Alternatives and similar repositories for discopy:

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

• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆52Updated 2 years ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆361Updated this week
• CQCL / qnlp_lorenz_etal_2021_resources
  Code and resources for the Lorenz et al. (2021) QNLP paper
  ☆27Updated last year
• ICHEC / QNLP
  ICHEC Quantum natural language processing (QNLP) toolkit
  ☆38Updated 4 years ago
• CQCL / lambeq
  A high-level Python library for Quantum Natural Language Processing
  ☆472Updated this week
• PaulaGarciaMolina / QNLP_Qiskit_Hackathon
  Quantum Natural Language Processing (QNLP)'s project repository for Qiskit Hackathon Europe.
  ☆15Updated 5 months ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆54Updated this week
• NEASQC / WP6_QNLP
  The repository of the quantum natural language processing WP6 within NEASQC. Development and releases are stored in this repository.
  ☆11Updated 3 weeks ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆59Updated 6 months ago
• toumix / thesis
  Category Theory for Quantum Natural Language Processing
  ☆11Updated 2 years ago
• CQCL / Quanthoven
  ☆36Updated 3 years ago
• tonywu95 / LIME
  Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
  ☆28Updated 3 years ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆134Updated 3 months ago
• coq-quantum / CoqQ
  ☆20Updated last month
• zxcalc / pyzx
  Python library for quantum circuit rewriting and optimisation using the ZX-calculus
  ☆403Updated this week
• CQCL / hugr
  Hierarchical Unified Graph Representation for quantum and classical programs
  ☆32Updated this week
• unitaryfund / research
  A repository for archived research code
  ☆16Updated 2 weeks ago
• artificial-scientist-lab / Impact4Cast
  Forecasting high-impact research topics via machine learning on evolving knowledge graphs
  ☆23Updated 2 weeks ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆165Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆33Updated 9 months ago
• NirmalyaKajuri / QFT-in-CST-
  ☆9Updated last year
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆71Updated 4 months ago
• XanaduAI / MrMustard
  A differentiable bridge between phase space and Fock space
  ☆82Updated this week
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆96Updated last year
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆125Updated last year
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆253Updated 3 weeks ago
• jcmgray / cotengra
  Hyper optimized contraction trees for large tensor networks and einsums
  ☆192Updated 2 weeks ago
• twesterhout / 2022_microsoft_ionq_challenge
  MIT iQuHACK 2022 x Microsoft x IonQ Challenge
  ☆10Updated 3 years ago