Pinned Loading
Repositories
- Developer-Y.Math-Science-Video-Lectures Public Forked from Developer-Y/math-science-video-lectures
List of Science courses with video lectures
Mathverse/Developer-Y.Math-Science-Video-Lectures’s past year of commit activity - Muodov.Kociemba Public Forked from muodov/kociemba
A pure Python and pure C ports of Kociemba's algorithm for solving Rubik's cube
Mathverse/Muodov.Kociemba’s past year of commit activity - MAnimCommunity.MAnim Public Forked from ManimCommunity/manim
A community-maintained Python framework for creating mathematical animations.
Mathverse/MAnimCommunity.MAnim’s past year of commit activity - 3B1B.Videos Public Forked from 3b1b/videos
Code for the manim-generated scenes used in 3blue1brown videos
Mathverse/3B1B.Videos’s past year of commit activity - SageMath.SageCell Public Forked from sagemath/sagecell
The Sage Cell Server---providing a way to embed Sage computations into any web page.
Mathverse/SageMath.SageCell’s past year of commit activity - 3-Manifolds.Sage-MacOS Public Forked from 3-manifolds/Sage_macOS
SageMath as a macOS application bundle.
Mathverse/3-Manifolds.Sage-MacOS’s past year of commit activity - UniMath.SymmetryBook Public Forked from UniMath/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Mathverse/UniMath.SymmetryBook’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…