mathverse Goto Github PK

3-manifolds.sage-macos

SageMath as a macOS application bundle.

3b1b.manim

Animation engine for explanatory math videos

3b1b.videos

Code for the manim-generated scenes used in 3blue1brown videos

art-of-geometry

Art of Geometry

developer-y.math-science-video-lectures

List of Science courses with video lectures

enthought.mayavi

3D visualization of scientific data in Python

google-deepmind.alphageometry

lean-dojo.leancopilot

LLMs as Copilots for Theorem Proving in Lean

lean-dojo.leandojo

Tool for data extraction and interacting with Lean programmatically.

lean-dojo.leandojochatgpt

ChatGPT plugin for theorem proving in Lean

lean-dojo.reprover

Retrieval-Augmented Theorem Provers for Lean

leanprover.lean4

Lean 4 programming language and theorem prover

lukasschwab.arxivpy

Python wrapper for the arXiv API

manimcommunity.manim

A community-maintained Python framework for creating mathematical animations.

mathverse

Mathverse

muodov.kociemba

A pure Python and pure C ports of Kociemba's algorithm for solving Rubik's cube

sagemath.sage

Main repository of SageMath. Now open for Issues and Pull Requests.

sagemath.sagecell

The Sage Cell Server---providing a way to embed Sage computations into any web page.

sympy.gamma

A SymPy version of WolframAlpha.

sympy.sympy

A computer algebra system written in pure Python

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.

unimath.unimath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

wampycakes.kociemba

A slightly modified adaptation of Herbert Kociemba's Two Phase Rubik's Cube Solving Algorithm for use with manim-rubikscube

wampycakes.manim-rubikscube

A Manim implementation of the classic Rubik's Cube

wolframresearch.wolframclientforpython

Call Wolfram Language functions from Python

wolframresearch.wolframwebengineforpython

Integrates the Wolfram Language seamlessly with Python AIOHTTP