mathigon / world-of-mathematicsLinks
Using beautiful graphics and interactive simulations, this award winning textbook makes advanced mathematical ideas accessible to the general public.
☆33Updated 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
Sorting:
- A system for computational category theory and applications☆38Updated 8 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- ☆59Updated 3 months ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆178Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- ☆17Updated last year
- The MMT Language and System☆74Updated 10 months ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- ☆30Updated last week
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Exercises designed specifically to demonstrate parametricity☆28Updated 11 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆163Updated 5 years ago
- World's dumbest fuzzer☆52Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 3 years ago
- VATA Tree Automata Library☆32Updated 9 months ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated 9 months ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Real number computation software☆124Updated 2 years ago
- The Quantum IO Monad, implemented in Haskell☆104Updated last year
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Updated 7 years ago
- Source code of Mathigon's interactive textbooks☆365Updated 3 months ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Metamath verifier in Python☆39Updated last year
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago