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
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated 10 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated 3 weeks ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆72Updated this week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆33Updated last week
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆39Updated this week
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 3 weeks ago
• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆29Updated 2 years ago
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆54Updated last week
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 3 months ago
• ToposInstitute / poly
  ☆118Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆49Updated last year
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆100Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆88Updated this week
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆31Updated 3 weeks ago
• AlgebraicJulia / StockFlow.jl
  ☆69Updated 2 weeks ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 3 months ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆29Updated 6 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆75Updated 2 years ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year