all my notes in one place
☆13Mar 29, 2026Updated 2 months ago
Alternatives and similar repositories for all
Users that are interested in all are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains the source html files for the website complex-analysis.com☆18May 30, 2026Updated 2 weeks ago
- Source code for the nLab☆216Mar 15, 2025Updated last year
- Mirror of ocaml-forester☆51Jun 18, 2024Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆51Dec 12, 2021Updated 4 years ago
- wip -- 6.390 IntorML course notes☆50Jun 5, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An Explorable Explanation of Matrices and Linear Transformations☆45Aug 24, 2023Updated 2 years ago
- Compile Tex files easily☆93Nov 9, 2022Updated 3 years ago
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆108Sep 2, 2023Updated 2 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆277Jun 7, 2026Updated last week
- IPython magics for generating figures with TikZ☆167Jan 16, 2025Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆129Jul 9, 2024Updated last year
- HoTTEST Summer School materials☆333Jun 3, 2025Updated last year
- A Haskell library for converting LaTeX math to MathML.☆401Updated this week
- Source code for all the animations in my videos. Uses @3b1b's manim library☆190May 24, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🎥 Proxy livestreams from websockets to external RTMP endpoints.☆324Apr 20, 2020Updated 6 years ago
- Markdown and LaTeX online editor - create text for web with equations and diagrams☆381Feb 19, 2026Updated 3 months ago
- An Infinitely Large Napkin☆1,894Updated this week
- A Lean companion to Analysis I☆1,766Jun 1, 2026Updated last week
- A python library to compute the graph Ricci curvature and Ricci flow on NetworkX graph.☆286Jun 26, 2024Updated last year
- Code for paper "SurVAE Flows: Surjections to Bridge the Gap between VAEs and Flows"☆290Feb 1, 2021Updated 5 years ago
- Source code for the applications presented in the course "Geometry Processing with Discrete Exterior Calculus"☆600Mar 7, 2018Updated 8 years ago
- Code for Implicit Generation and Generalization with Energy Based Models☆364Apr 25, 2023Updated 3 years ago
- λ 🖼️ Chromda is an AWS Lambda function for capturing screenshots of websites.☆506Jan 24, 2023Updated 3 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.
- Interactive Linear Algebra☆761May 1, 2026Updated last month
- OpenAI-powered semantic search for any YouTube playlist – featuring the All-In Podcast. 💪☆540Mar 22, 2023Updated 3 years ago
- A project to map out the relations between different equational theories of Magmas.☆524Updated this week
- Self-hostable web app for isolating the vocal, accompaniment, bass, and drums of any song. Supports Spleeter, Demucs, BS-RoFormer. Starte…☆548Updated this week
- A tutorial for manim, a mathematical animation engine made by 3b1b☆811Oct 3, 2024Updated last year
- Detexify Backend written in Haskell☆925Dec 26, 2016Updated 9 years ago
- A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond☆1,067Feb 24, 2026Updated 3 months ago
- Learning from multiple companies in Silicon Valley. Netflix, Facebook, Google, Startups☆898May 8, 2022Updated 4 years ago
- Python library to interact with Google Sheets V4 API☆850Mar 16, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CoCalc: Collaborative Calculation in the Cloud☆1,280Updated this week
- [NeurIPS'19] Deep Equilibrium Models☆804Jul 4, 2022Updated 3 years ago
- Geometric Algebra for Python☆861Oct 18, 2025Updated 7 months ago
- 数学公式识别增强版：中英文手写印刷公式、支持初级符号推导（数据结构基于 LaTeX 抽象语法树）Math Formula OCR Pro, supports handwrite, Chinese-mixed formulas and simple symbol reaso…☆1,299Jun 11, 2024Updated 2 years ago
- Animation course with Manim☆1,224May 3, 2021Updated 5 years ago
- Apache Impala☆1,275Jun 7, 2026Updated last week
- A system for assigning and grading notebooks☆1,371Updated this week