henryliuser / manim-cp
☆11Updated 2 years ago
Alternatives and similar repositories for manim-cp
Users that are interested in manim-cp are comparing it to the libraries listed below
Sorting:
- ☆16Updated 3 years ago
- Animations made by python☆10Updated 4 years ago
- A database app for ring theory☆22Updated last week
- Interface between networkx and manim☆50Updated 4 years ago
- Gallery of math objects in manim☆36Updated last year
- Source code for all the animations in my videos. Uses @3b1b's manim library☆170Updated 11 months ago
- GeoGebra Discovery☆22Updated 3 weeks ago
- An online math contest platform☆19Updated last month
- Source code to my videos.☆78Updated last year
- A compilation of lecture notes☆15Updated 6 years ago
- A collection of my solutions to various informatics olympiad problems☆50Updated last year
- All of my stuff pertaining to programming contests and preparing for them☆23Updated 2 years ago
- Given the netlist, this program draws an AC circuit and finds the current/voltage values.☆9Updated 7 years ago
- Olympiad problem database☆48Updated last month
- OTIS course management system☆40Updated this week
- ☆13Updated 9 months ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆17Updated 2 weeks ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆15Updated 2 years ago
- A distributed systems framework used running distributable workloads.☆18Updated 8 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Extension of Manim to create CAD-like drawings☆46Updated last year
- A Manim implementation of the classic Rubik's Cube☆50Updated last year
- Automated generation of planar geometry olympiad problems☆90Updated last year
- Complex Systems, Complexity, Chaos, Emergence, Network Theory, Nonlinear, Graph theory☆20Updated 6 years ago
- A simple python implementation of a DFA.☆21Updated last year
- Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…☆40Updated 2 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- MA4N1 Theorem Proving with Lean☆12Updated 6 months ago
- Source files for https://web.evanchen.cc☆45Updated this week
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year