Alternatives and similar repositories for SolvView

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

• Slackermanz / VulkanAutomata
  Cellular Automata GPU Renderer using the Vulkan API
  ☆381Updated 6 months ago
• MITGameLab / OpenRelativity
  An open source framework to add the effects of traveling at relativistic speeds to visualizations or games
  ☆752Updated last year
• henryseg / cohomology_fractals
  Drawing cohomology fractals with the GPU.
  ☆53Updated 7 months ago
• wgxli / complex-function-plotter
  WebGL Complex Function Plotter
  ☆60Updated 3 weeks ago
• HackerPoet / Particle-Life
  A game of life with particles
  ☆371Updated 4 years ago
• HackerPoet / Conics
  An interactive conic visualization app used to record this video.
  ☆185Updated 5 years ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆433Updated 4 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• TodePond / CellPond
  surreal cellular automata
  ☆353Updated 4 months ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• anvaka / fieldplay
  A vector field explorer
  ☆1,274Updated 2 weeks ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆296Updated last week
• HackerPoet / HyperEngine
  The Non-Euclidean Unity Backend for Hyperbolica
  ☆286Updated 3 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆723Updated last week
• ZAPPhysics / QFT_Sims
  ☆119Updated 4 years ago
• enkimute / ganja.js
  Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
  ☆1,572Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆330Updated last week
• MaxRobinsonTheGreat / NeuralPatterns
  Source code for Neural Patterns
  ☆115Updated 3 years ago
• google-research / self-organising-systems
  ☆380Updated 4 months ago
• agerasev / hypertrace
  Real-time hyperbolic space ray tracer
  ☆18Updated 2 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• ChristopherChudzicki / math3d-react
  A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
  ☆276Updated 6 months ago
• mtwoodard / hypVR-Ray
  Hyperbolic VR using Raymarching
  ☆105Updated 6 years ago
• HackerPoet / MarbleMarcher
  A Fractal Physics Game
  ☆2,520Updated 4 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆258Updated last year
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆277Updated this week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆364Updated 2 weeks ago
• distillpub / post--growing-ca
  Growing Neural Cellular Automata
  ☆91Updated 3 years ago
• wbolden / complex
  WebGL Complex Function Plotter, also includes support for dual and split-complex numbers
  ☆23Updated last year