regina-normal / regina

Related projects ⓘ

Alternatives and complementary repositories for regina

• 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…
  ☆87Updated this week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆50Updated last year
• tBuLi / kingdon
  A symbolically optimized and pythonic Clifford (geometric) algebra library named after none other than William Kingdon Clifford.
  ☆45Updated this week
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 2 years ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆327Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆38Updated 3 weeks ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆347Updated this week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆108Updated 3 weeks ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆78Updated last month
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆79Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆24Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 9 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆181Updated 9 months ago
• edemaine / topp
  The Open Problems Project
  ☆25Updated 11 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆85Updated 2 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆149Updated 2 months ago
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆45Updated last year
• vincentnozick / garamon
  ☆53Updated 2 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 3 years ago
• winitzki / linear-algebra-book
  The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
  ☆88Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆63Updated last year
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆32Updated 10 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated last week
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆127Updated 3 months ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆89Updated last week
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆154Updated 5 years ago