mathigon / world-of-mathematics
Using beautiful graphics and interactive simulations, this award winning textbook makes advanced mathematical ideas accessible to the general public.
☆32Updated 7 years ago
Alternatives and similar repositories for world-of-mathematics:
Users that are interested in world-of-mathematics are comparing it to the libraries listed below
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- A system for computational category theory and applications☆37Updated 8 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- Resources for making sense of topology and its concepts☆17Updated 4 years ago
- The Quantum IO Monad, implemented in Haskell☆101Updated 10 months ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Tim Button's open textbook on set theory☆31Updated last year
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Textbook on metalogic based on the Open Logic Project☆36Updated last year
- Render tikzcd diagrams with JSX.☆59Updated 4 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Life like molecular computers with artificial chemistry.☆134Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- A workshop on learning Agda with minimal prerequisites.☆84Updated 8 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆177Updated 2 years ago
- multilingual dictionary of mathematical terminology☆19Updated 2 months ago
- Real number computation software☆122Updated 2 years ago
- Applied Discrete Structures using PreTeXt☆43Updated this week
- World's dumbest fuzzer☆52Updated last year
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- DeepAlgebra☆25Updated 7 years ago
- ☆13Updated 4 years ago