Alternatives and similar repositories for SolvView

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

• metamath / set.mm
  Metamath source file for logic and set theory
  ☆279Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 10 months ago
• henryseg / cohomology_fractals
  Drawing cohomology fractals with the GPU.
  ☆50Updated 2 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆270Updated this week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆120Updated last year
• wgxli / complex-function-plotter
  WebGL Complex Function Plotter
  ☆57Updated 7 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆444Updated this week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆159Updated 2 weeks ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆346Updated 7 months ago
• HackerPoet / Conics
  An interactive conic visualization app used to record this video.
  ☆187Updated 5 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆16Updated last year
• HackerPoet / HyperEngine
  The Non-Euclidean Unity Backend for Hyperbolica
  ☆277Updated 3 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆174Updated 2 months ago
• pygae / galgebra
  Symbolic Geometric Algebra/Calculus package for SymPy
  ☆256Updated last month
• Slackermanz / VulkanAutomata
  Cellular Automata GPU Renderer using the Vulkan API
  ☆373Updated 3 weeks ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 3 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• HackerPoet / Particle-Life
  A game of life with particles
  ☆369Updated 4 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆40Updated last week
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆301Updated this week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆62Updated last year
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated last month
• 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…
  ☆99Updated 2 weeks ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆154Updated this week
• b-mehta / unit-fractions
  ☆15Updated last year
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆120Updated 10 months ago