Intuitive math descriptions and animations (like 3b1b)
☆100Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for intuitive-math
Users that are interested in intuitive-math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A package for managing a static, mathematically-inclined web log☆27Oct 3, 2015Updated 10 years ago
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 8 years ago
- Delete half (minus ε) of your Haskell code!☆30Mar 14, 2026Updated last week
- ☆16Feb 18, 2025Updated last year
- Save the contents of Apple Notes☆31May 23, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Dec 7, 2019Updated 6 years ago
- Find first derivatives of functions automagically☆10Feb 21, 2017Updated 9 years ago
- reactive state machines☆14Jan 7, 2023Updated 3 years ago
- ☆12Apr 3, 2018Updated 7 years ago
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- Framework for studying cryptographic hash functions using SAT.☆10Dec 21, 2021Updated 4 years ago
- ☆15Sep 28, 2022Updated 3 years ago
- Repurpose object literals.☆14Jun 20, 2019Updated 6 years ago
- a miserable pile of scripts for backing up my cohost posts☆12Sep 29, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Cycling Level of Stress Map☆10Jan 19, 2018Updated 8 years ago
- Compare the public API of different versions of a Hackage library☆62May 2, 2018Updated 7 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Dec 11, 2020Updated 5 years ago
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 7 years ago
- ☆12Aug 8, 2016Updated 9 years ago
- A library for building bots compositionally.☆52Mar 10, 2025Updated last year
- Apache Spark on Apache Yarn 2.6.0 cluster Docker image☆11Oct 18, 2017Updated 8 years ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 🎞️ Sprite frames to spritesheet & metadata☆18Jun 17, 2018Updated 7 years ago
- A workshop full of programs in various states of disrepair and in somes cases, distress☆11Nov 27, 2025Updated 3 months ago
- Lightweight and modular math toolbox☆81Nov 4, 2023Updated 2 years ago
- Rope data structure used by Yi☆20Jun 6, 2018Updated 7 years ago
- Triangular mesh generation and manipulation☆13Jul 3, 2021Updated 4 years ago
- LaTeX source for my free math notes☆15Oct 18, 2020Updated 5 years ago
- HTML5 Gamepad API bindings for js_of_ocaml☆17Jan 7, 2018Updated 8 years ago
- Rekube is a ReasonML toolkit for Kubernetes configuration.☆28Apr 27, 2020Updated 5 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year
- Graphite layout for the Moonlander keyboard☆11Oct 19, 2023Updated 2 years ago
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 9 years ago
- Derivation of Optimized Definitions Based on Specs☆14Sep 28, 2019Updated 6 years ago
- Collaborative whiteboard.☆20Jan 2, 2016Updated 10 years ago
- Sonic the Hedgehog 2 in Haskell☆67Jan 7, 2022Updated 4 years ago
- Holochain bindings for Bucklescript.☆10Jan 2, 2019Updated 7 years ago