mathigon / documentation
Mathigon's Open Source Website
☆20Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for documentation
- A customisable NodeJS server for creating and hosting highly interactive online courses.☆39Updated this week
- Source code of Mathigon's interactive textbooks☆357Updated last week
- Use MiniZinc in the browser or with NodeJS☆31Updated last week
- Three.js scripts used in Tungsteno☆10Updated 2 years ago
- Hypergraph Rewriting System☆64Updated 6 months ago
- Interactive mathematics in the browser☆57Updated 10 months ago
- Mathematics and statistics library for TypeScript.☆104Updated last week
- Some CSS experiments for arXiv HTML documents converted via latexml☆15Updated last month
- Lean-independent implementation of the MM-Lean link☆27Updated last year
- Open source code for Arbital☆14Updated 6 years ago
- Learnable Programming in Javascript☆281Updated 11 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- ☆16Updated last year
- GeoGebra Discovery☆19Updated last week
- Using beautiful graphics and interactive simulations, this award winning textbook makes advanced mathematical ideas accessible to the gen…☆32Updated 7 years ago
- Notes from Andrew Blumberg's class on equivariant homotopy theory☆16Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 2 months ago
- An alternative frontend for LessWrong 2.0☆63Updated this week
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆54Updated 5 years ago
- Render tikzcd diagrams with JSX.☆59Updated 4 years ago
- A specialised computer algebra system for topos theory.☆17Updated 4 months ago
- Something like Sage, but for the WebAssembly and JavaScript world.☆35Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- Online BDD Simulation Tool☆17Updated 2 years ago
- ☆34Updated last year
- A formalization of the Rubik's cube group☆26Updated 4 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- A curated list of tools that can be used for creating interactive mathematical explorables.☆178Updated 2 weeks ago