Alternatives and similar repositories for bloch

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

• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆301Updated this week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆275Updated 8 months ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆322Updated 4 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆199Updated last week
• ncatlab / nlab
  Source code for the nLab
  ☆180Updated 4 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 5 months ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated 4 months ago
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆16Updated last year
• thosgood / qubit.guide
  The online version of Introduction to Quantum Information Science by Artur Ekert, Tim Hosgood, Alastair Kay, and Chiara Macchiavello
  ☆62Updated 2 weeks ago
• leanprover / elan
  The Lean version manager
  ☆411Updated 2 months ago
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,187Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 9 months ago
• eigenchris / MathNotes
  ☆252Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆70Updated last year
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆514Updated last year
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆180Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆51Updated 3 weeks ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆354Updated 10 months ago
• qubrabench / qubrabench
  Quantum benchmarking framework
  ☆14Updated last year
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆101Updated this week
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆409Updated last week
• ChristopherChudzicki / math3d-react
  A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
  ☆270Updated 3 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• ls1intum / thesis-template-typst
  TUM ASE thesis typst template
  ☆106Updated this week
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆30Updated 4 years ago
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆50Updated 4 months ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year