Alternatives and similar repositories for Net3arth

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

• RichardBot7000 / OnTheSpotSTEM
  Manim code for On The Spot STEM videos
  ☆15Updated 4 years ago
• Matheart / manim-physics
  Physics simulation plugin of Manim that can generate scenes in various branches of Physics.
  ☆357Updated 9 months ago
• MagmaMcFry / SolvView
  Visualizes the Riemannian manifolds Solv/Sol, Nil, SL(2,R), H^3 and E^3 in real time using ray marching along geodesics.
  ☆16Updated 5 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆444Updated this week
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated last year
• eigenchris / MathNotes
  ☆237Updated 9 months ago
• ZAPPhysics / QFT_Sims
  ☆119Updated 4 years ago
• vivek3141 / videos
  Source code for all the animations in my videos. Uses @3b1b's manim library
  ☆170Updated 11 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• christopher-besch / maki
  Interactive and Programmatic Animation Development; or: How to Time Travel?
  ☆17Updated 3 years ago
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆16Updated last year
• mkauers / ore_algebra
  ☆34Updated this week
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated 2 years ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆234Updated this week
• complex-analysis / complex-analysis.github.io
  Complex Analysis: A Visual and Interactive Introduction
  ☆184Updated last month
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• cjquines / tsqx
  Asymptote preprocessor
  ☆13Updated 2 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆346Updated 7 months ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆362Updated this week
• ryanmaguire / Mathematics-and-Physics
  Various notes on mathematics and physics organized in several volumes.
  ☆9Updated last week
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆45Updated this week
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆246Updated last year
• Paul-G2 / TDSE
  Time-dependent Schrodinger equation solver.
  ☆17Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆155Updated last year
• vivek3141 / vector-field-visualizer
  A python back-end web app to visualize a two dimensional vector field, and to calculate divergence and curl at any point.
  ☆29Updated 6 years ago
• kilacoda / chanim
  Animation engine for explanatory chemistry videos
  ☆161Updated last year
• wgxli / complex-function-plotter
  WebGL Complex Function Plotter
  ☆57Updated 7 months ago
• cakenggt / Library-Of-Pybel
  Library of Babel clone in Python
  ☆188Updated 2 years ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆90Updated last year
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆328Updated this week