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 5 years ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆35Updated 2 weeks ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆73Updated last week
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆54Updated this week
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last month
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆100Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 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
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 4 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated 11 months ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆384Updated 3 months ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆88Updated 3 weeks ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• 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
• ecboghiu / inflation
  Implementations of the Inflation Technique for Causal Inference.
  ☆29Updated last month
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last week
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• tobiasosborne / Lattice-gauge-theory-and-tensor-networks
  This is a project aimed at constructing gauge-invariant tensor networks for lattice gauge theory with a view to obtaining a continuous gr…
  ☆26Updated 9 years ago
• AlgebraicJulia / StockFlow.jl
  ☆70Updated 3 weeks ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆65Updated 3 weeks ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆39Updated last week
• LSaldyt / Qurry
  Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…
  ☆27Updated 5 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated last month