Alternatives and similar repositories for object-oriented-programming

Users that are interested in object-oriented-programming are comparing it to the libraries listed below

• Imperial-MATH50003 / MATH50003NumericalAnalysis2022-23
  Notes and course material for MATH50003 Numerical Analysis (2022–2023)
  ☆54Updated last year
• devitocodes / devito_book
  Work in progress - Objective is to develop a comprehensive textbook on finite difference computing with Devito
  ☆14Updated 2 months ago
• 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…
  ☆109Updated last 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…
  ☆121Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• nschloe / cplot
  Plot complex functions
  ☆167Updated last year
• TungstenHub / tngt-manim
  Manim scripts used in Tungsteno https://www.tungsteno.io/
  ☆29Updated 5 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 3 weeks ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆76Updated last week
• InertialObservr / manim_projects
  projects using 3Blue1Brown's manim engine
  ☆34Updated 5 years ago
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆128Updated 5 years ago
• JuliaDynamics / JuliaDynamics
  Website for JuliaDynamics and various resources, like notebooks, videos, etc.
  ☆71Updated last year
• surajx / proof-assistant
  Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…
  ☆12Updated 7 years ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆39Updated 2 years ago
• JuliaClimate / Notebooks
  JuliaClimate Notebooks
  ☆103Updated 3 weeks ago
• grysvn / python-algebra-groups
  Rough implementation of algebraic groups in python.
  ☆17Updated 7 years ago
• JuliaDynamics / NonlinearDynamicsTextbook
  Nonlinear Dynamics: A concise introduction interlaced with code
  ☆252Updated 4 months ago
• narimiran / double_pendulum
  Animations of random double pendulums
  ☆132Updated 2 years ago
• FourierFlows / GeophysicalFlows.jl
  Geophysical fluid dynamics pseudospectral solvers with Julia and FourierFlows.jl.
  ☆165Updated 2 weeks ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 8 months ago
• transmogrifier / eulerlib
  A library of recreational mathematics and number theory related functions inspired by Project Euler
  ☆19Updated 10 years ago
• milankl / ShallowWaters.jl
  A type-flexible shallow water model that can run with 16-bit arithmetic.
  ☆123Updated 3 months ago
• jcmgray / xyzpy
  Efficiently generate and analyse high dimensional data.
  ☆71Updated last year
• hernanat / dcolor
  Python Based Domain Coloring
  ☆34Updated last year
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆433Updated 4 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated last week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆30Updated 3 years ago
• Imperial-MATH50003 / MATH50003NumericalAnalysis2021-22
  Notes and course material for MATH50003 Numerical Analysis (2021–2022)
  ☆51Updated last year
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆36Updated last week