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
Related projects ⓘ
Alternatives and complementary repositories for world-of-mathematics
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Code for my blog post "Generating Mazes with Inductive Graphs"☆36Updated 6 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 6 years ago
- interactive programming tutorials, powered by Github and Docker☆140Updated 3 months ago
- A DSL for the internal language of a topos☆61Updated 7 months ago
- World's dumbest fuzzer☆52Updated 11 months ago
- Automatic differentiation in JavaScript☆15Updated 12 years ago
- Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Diff…☆30Updated 12 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Textbook on metalogic based on the Open Logic Project☆36Updated 11 months ago
- Life like molecular computers with artificial chemistry.☆134Updated 2 years ago
- Theorem proving in Lean☆48Updated last month
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- A CSS specification and reasoning engine☆92Updated last year
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 9 years ago
- IPython-style interaction for Cryptol☆15Updated 7 years ago
- Implementation of Univalence in Cubical Sets☆145Updated 9 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 2 years ago
- How I make an interactive tutorial using d3.js☆41Updated last month
- A programming language that deduces code from tests☆30Updated 6 years ago