Alternatives and similar repositories for sample-projects

Users that are interested in sample-projects are comparing it to the libraries listed below

• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 6 years ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• learner-long-life / skc-python
  Quantum compiler using the Solovay-Kitaev algorithm for n-qubits, i.e. SU(d=2^n)
  ☆29Updated 6 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆34Updated 3 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆73Updated this week
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆73Updated this week
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆105Updated 5 months ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆102Updated last year
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆55Updated last month
• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆29Updated 3 years ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• LSaldyt / Qurry
  Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…
  ☆28Updated 5 years ago
• lanl / QA-Prolog
  Quantum Annealing Prolog
  ☆39Updated 3 years ago
• ecboghiu / inflation
  Implementations of the Inflation Technique for Causal Inference.
  ☆30Updated last week
• taliesinb / MathTools
  MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…
  ☆19Updated last year
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 3 years ago
• BBN-Q / QGL
  Quantum Gate Language (QGL) is a domain specific language embedded in python for specifying quantum gate sequences.
  ☆32Updated 6 months ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆87Updated 2 months ago
• thephoeron / quipper-language
  Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
  ☆88Updated 10 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated last month
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated 3 weeks ago
• AlgebraicJulia / StockFlow.jl
  ☆75Updated 3 weeks ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆386Updated last week
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated last year