Pinned
Repositories
-
- Developer-Y.Math-Science-Video-Lectures Public Forked from Developer-Y/math-science-video-lectures
List of Science courses with video lectures
- Muodov.Kociemba Public Forked from muodov/kociemba
A pure Python and pure C ports of Kociemba's algorithm for solving Rubik's cube
-
- MAnimCommunity.MAnim Public Forked from ManimCommunity/manim
A community-maintained Python framework for creating mathematical animations.
-
- 3B1B.Videos Public Forked from 3b1b/videos
Code for the manim-generated scenes used in 3blue1brown videos
- SageMath.SageCell Public Forked from sagemath/sagecell
The Sage Cell Server---providing a way to embed Sage computations into any web page.
- 3-Manifolds.Sage-MacOS Public Forked from 3-manifolds/Sage_macOS
SageMath as a macOS application bundle.
- 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.
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…