Alternatives and similar repositories for book

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

• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• teorth / symmetric_project
  ☆94Updated 2 years ago
• ACT4E / ACT4E
  Sources for "Applied Category Theory for Engineering"
  ☆39Updated last week
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆99Updated last week
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• AlgebraicJulia / StockFlow.jl
  ☆77Updated 4 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆77Updated this week
• MathBases / MathBases
  ☆27Updated last week
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆42Updated 3 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆255Updated this week
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆239Updated 6 months ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆70Updated 2 years ago
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last month
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• teorth / expdb
  Exponent pair database
  ☆69Updated last week
• pygae / galgebra
  Symbolic Geometric Algebra/Calculus package for SymPy
  ☆272Updated 8 months ago
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆25Updated 2 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆114Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆220Updated 2 years ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆146Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• edemaine / topp
  The Open Problems Project
  ☆40Updated 7 months ago
• EelcoHoogendoorn / numga
  Geometric algebra in JAX and numpy
  ☆86Updated last month
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 4 months ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆104Updated 2 years ago